de-bruijn topic
List
de-bruijn repositories
bruijn
86
Stars
0
Forks
Watchers
:abacus: Programming with pure lambda calculus
church-rosser
23
Stars
1
Forks
Watchers
A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses the...