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