A Modular Hierarchy of Logical Frameworks. / Adams, Robin.
Types for Proofs and Programs. ed. / Stefano Berardi; Mario Coppo; Ferruccio Damiani. Vol. 3085 Springer, 2004. p. 1-16 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Submitted manuscript, 57 KB, application/x-dvi
Original language | English |
---|---|
Title of host publication | Types for Proofs and Programs |
Editors | Stefano Berardi, Mario Coppo, Ferruccio Damiani |
Publisher | Springer |
Pages | 1-16 |
Number of pages | 16 |
Volume | 3085 |
ISBN (Print) | 3-540-22164-6 |
DOIs | |
Publication status | Published - 2004 |
Event | TYPES 2003 - Torino, Italy Duration: 30 Apr 2003 → 4 May 2003 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
ISSN (Print) | 0302-9743 |
Conference | TYPES 2003 |
---|---|
Country | Italy |
City | Torino |
Period | 30/04/03 → 4/05/03 |
ID: 398954