Search for tag: "mary"
New Resources for Lectionary Year A: A CPD event for Ministers and Worship Leaders - Rev. Dr Nikki MacdonaldIn this video Rev. Dr Nikki Macdonald (Minister, Upper Clyde Parish Church) speaks on the topic of 'Rigidly Constraining Liberty or useful tool? The lectionary as servant, not master' at…
From Rory Dunlop
0 likes
14 plays
0
|
|
UoE Carol ServiceThe New College Carol Service this year is an extra special service marking the 175th Anniversary of New College, and taking place as part of the stunning Winter Tales Literary Festival. The…
From Kasia Stoinska
0 likes
142 plays
0
|
|
Wonkeun Choi EVA Talk PreviewThis talk has captions. You can remove these by pressing CC on the video toolbar. Name: Wonkeun Choi Talk Title: Marine Heatwaves in Korean waters: Seasonal and regional differences Abstract:…
From Anna Munro
0 likes
8 plays
0
|
|
Convener's Report General Council Half-Yearly Meeting 13 February 2016Convener's Report General Council Half-Yearly Meeting 13 February 2016
From Alison McNulty
0 likes
1 plays
0
|
|
CL - 8b - Language IIIIn this video we link the language of forms to our derivations of CNF.
From Haoran Peng
0 likes
335 plays
0
|
|
CL - 8a - Language IIIn this video we return to the idea of a formal language — a language whose expressions can be represented in Haskell.
From Haoran Peng
0 likes
358 plays
0
|
|
CL - 7b - Quantifiers And LambdaIn this video we briefly mention more examples of sections, and then introduce λ-functions, which we use to help us interpretat statements such as, "Somebody loves Everybody".
From Haoran Peng
0 likes
491 plays
0
|
|
CL - 7a - Mary Loves EverybodyIn this video we introduce the interpretation of statements such as, "Mary loves Everybody". We use sections in Haskell to help us do this.
From Haoran Peng
0 likes
495 plays
0
|
|
Ada Lovelace and her mentors - Christopher D. HollingsFor Ada Lovelace Day 2016, Christopher D. Hollings (Mathematical Institute & The Queen's College, Oxford), provides a brief introduction to the life and works of Ada Lovelace (1815-1852) and…
From Ewan McAndrew
0 likes
74 plays
0
|