[ 2024 ] Monday lightning slides

scottish-pl-institute · Jul 29, 2024 · b934906 · b934906
1 parent 715bb3a
commit b934906
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/2024-strathclyde/assets/lightning/monday/gabbay.pdf b/2024-strathclyde/assets/lightning/monday/gabbay.pdf
diff --git a/2024-strathclyde/assets/lightning/monday/turkenburg.pdf b/2024-strathclyde/assets/lightning/monday/turkenburg.pdf
diff --git a/2024-strathclyde/assets/lightning/monday/xie.pdf b/2024-strathclyde/assets/lightning/monday/xie.pdf
diff --git a/2024-strathclyde/lightning.md b/2024-strathclyde/lightning.md
@@ -50,8 +50,8 @@ The titles are as follows:
 | Ariadne Si Suo   | Towards a denotational model of mode systems                                |
 | Cass Alexandru   | Intrinsically correct sorting using bialgebraic semantics                   |
 | Christopher Lam  | Correctly Compiling Proofs About Programs Without Proving Compilers Correct |
-| Murdoch Gabbay   | Polynomial semantics for FOL                                                |
-| Ruben Turkenburg | Proving Behavioural Apartness                                               |
+| Murdoch Gabbay   | Polynomial semantics for FOL ([slides](assets/lightning/monday/gabbay.pdf)) |
+| Ruben Turkenburg | Proving Behavioural Apartness ([slides](assets/lightning/monday/turkenburg.pdf)) |
 | Sean Watters     | The modal mu-calculus, type-theoretically                                   |
-| Szumi Xie        | Second-order generalised algebraic theories                                 |
+| Szumi Xie        | Second-order generalised algebraic theories ([slides](assets/lightning/monday/xie.pdf)) |
 | Wenhao Tang      | Modal Effect Types                                                          |