18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8--11, 2011 (Q2870401)
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: 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8--11, 2011 |
scientific article; zbMATH DE number 6247767
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8--11, 2011 |
scientific article; zbMATH DE number 6247767 |
Statements
20 January 2014
0 references
18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8--11, 2011 (English)
0 references
