A Tutorial Implementation of a Dependently Typed Lambda Calculus (Q3002481)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Tutorial Implementation of a Dependently Typed Lambda Calculus |
scientific article |
Statements
A Tutorial Implementation of a Dependently Typed Lambda Calculus (English)
0 references
20 May 2011
0 references
dependently typed core calculus
0 references
