GitHub topics: martin-lof
fsestini/nbe-mltt-wes
Normalization by Evaluation for a version of Martin-Löf Type Theory with weak explicit substitutions.
Language: Agda - Size: 26.4 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0
lambda-11235/ttyped
A simple dependently typed language based on the Calculus of Constructions.
Language: Haskell - Size: 116 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 12 - Forks: 1
EmanueleC/Teoria-dei-tipi
Appunti ed esercizi del corso "Teoria dei tipi" - università degli studi di Padova, corso di laurea in Informatica
Language: TeX - Size: 25.4 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
