2 search results for "tag:"keyword: lambda calculus""
Showing 1 - 2
-
coq-lc
No documentation
Modules over monads and-calculi8.10.0LGPL 2.1Used by 0 other packages07 Dec 2019 -
coq-tait
No documentation
A normalization proof a la Tait for simply-typed-calculuskeyword: normalization keyword: calculus keyword: extraction keyword: Tait proof keyword: normalization by evalution keyword: type theory category: Mathematics/Logic/Type theory category: Computer Science/ Calculi category: Miscellaneous/Extracted Programs/Type checking unification and normalization date: 20048.10.0LGPL 2.1Used by 0 other packages07 Dec 2019