load all pages

semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.
2020-12-10 19:57:07 +01:00 · 2020-12-10 19:57:07 +01:00 · 2020-09-23 13:35:39 +02:00 · 2020-09-23 13:35:39 +02:00 · 2020-07-12 01:23:10 +01:00
diff --git a/April Gonçalves b/April Gonçalves
April Gonçalves 52d5cec66a load all pages		2020-12-10 19:57:07 +01:00
doc	load all pages	2020-12-10 19:57:07 +01:00
src	Added beginnings of Agda formalisation. Added comments on lvar.tex.	2020-09-23 13:35:39 +02:00
.gitignore	Added beginnings of Agda formalisation. Added comments on lvar.tex.	2020-09-23 13:35:39 +02:00
README.md	Create README.md	2020-07-12 01:23:10 +01:00