From f3c47b6cf5e2d6911d645b3be608b00ecb313f8c Mon Sep 17 00:00:00 2001 From: Ellen Arvidsson Date: Wed, 25 Jun 2025 17:53:58 +0200 Subject: [PATCH] added links to slides --- docs/about/cycle.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/about/cycle.md b/docs/about/cycle.md index 1fdf345..00822b7 100644 --- a/docs/about/cycle.md +++ b/docs/about/cycle.md @@ -28,6 +28,12 @@ In order to use this strategy to decide our subtyping relation, we need: See here for more info: -[fxpl/ln notes on cyclic +* [fxpl/ln notes on cyclic proofs][github.com/fxpl/ln/blob/main/sequel/papper/notes/cyclic-proofs.md] +* [slides on cyclic proofs, part 1][ +http://www0.cs.ucl.ac.uk/staff/J.Brotherston/slides/PARIS_FLoC_07_18_part1.pdf +] +* [slides on cyclic proofs, part 2][ +http://www0.cs.ucl.ac.uk/staff/J.Brotherston/slides/PARIS_FLoC_07_18_part2.pdf +]