Some lambda calculus and type theory formalized (Q1961921)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Some lambda calculus and type theory formalized |
scientific article; zbMATH DE number 1394794
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some lambda calculus and type theory formalized |
scientific article; zbMATH DE number 1394794 |
Statements
Some lambda calculus and type theory formalized (English)
0 references
30 January 2000
0 references
formal mathematics
0 references
LEGO proof checker
0 references
pure type systems
0 references
survey
0 references
lambda calculus
0 references
constructive type theory
0 references
standardization for beta reduction
0 references
formal definitions
0 references
formal proof
0 references
0.92140937
0 references
0.91967756
0 references
0.91893345
0 references
0 references
