CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers
Marino Miculan
,
Ivan Scagnetto
,
F. Honsell
2008-01-01
Cite
Publication
LECTURE NOTES IN COMPUTER SCIENCE
Related
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Consistency of the Theory of Contexts
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts
A Framework for Typed HOAS and Semantics
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
Cite
×