Selected papers from dependently typed programming 2010 -- overview (Q5741554)
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 6607270
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Selected papers from dependently typed programming 2010 -- overview |
scientific article; zbMATH DE number 6607270 |
Statements
Selected papers from Dependently Typed Programming 2010 – Overview (English)
0 references
28 July 2016
0 references
0.7390647530555725
0 references
0.737511932849884
0 references
0.7351586818695068
0 references
0.7258744835853577
0 references
