CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
pi-calculus in (Co)Inductive Type Theories
F Honsell
,
Marino Miculan
,
Ivan Scagnetto
2001-01-01
Cite
Type
Journal article
Publication
THEORETICAL COMPUTER SCIENCE
Related
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers
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
Proceedings of the Workshop COMETA Computational Metamodels
Cite
×