A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family (Q3612438)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family |
scientific article |
Statements
A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family (English)
0 references
10 March 2009
0 references
