A simple type-theoretic language: Mini-TT (Q3400627)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5666834
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A simple type-theoretic language: Mini-TT |
scientific article; zbMATH DE number 5666834 |
Statements
5 February 2010
0 references
small functional language with dependent types
0 references
0.7729614973068237
0 references
0.7630248069763184
0 references
0.7447726726531982
0 references
0.7357962131500244
0 references
0.7339253425598145
0 references
