| discus-lang/iron |
121 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
other |
Coq |
| Coq formalizations of functional languages. |
| pi8027/lambda-calculus |
51 |
|
0 |
0 |
almost 6 years ago |
0 |
|
1 |
|
Coq |
| A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2 |
| Lysxia/system-F |
18 |
|
0 |
0 |
about 7 years ago |
0 |
|
0 |
|
Coq |
| Formalization of the polymorphic lambda calculus and its parametricity theorem |
| Barry-Jay/Intensional-computation |
13 |
|
0 |
0 |
almost 7 years ago |
0 |
|
0 |
gpl-3.0 |
Coq |
| translations of a lambda abstraction to combinations of operators |
| michaelsproul/dblib-linear |
10 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
|
Coq |
| Formalisation of the linear lambda calculus in Coq |
| dorchard/lambda-club |
9 |
|
0 |
0 |
about 4 years ago |
0 |
|
3 |
|
HTML |
| Material from presentations at the University of Kent's LambdaClub meetings |
