lnsol/log-e-sappho
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

added links to slides

Browse source
This commit is contained in:
Ellen Arvidsson 2025-06-25 17:53:58 +02:00
parent 42f14f2e84
commit f3c47b6cf5
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
docs/about/cycle.md
View file

@ -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
]