rachel/pi
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

add some references to useful material in the readme

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2022-05-16 17:49:56 +02:00
parent 357bfd4c2a
commit ad9e54a7f5
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -12,3 +12,11 @@ A dependently typed system
* Universe Polymorphism
* Cumulative Universes(?)
# References
Some of the material I found helpful in groking dependent type checking:
* Coquand, Thierry. “An Algorithm for Type-Checking Dependent Types.” Science of Computer Programming 26, no. 1–3 (May 1996): 167–77. https://doi.org/10.1016/0167-6423(95)00021-6.
* Brady, Edwin. "SPLV20 course notes". GitHub. https://github.com/edwinb/SPLV20