CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Proceedings of FOSSACS 2001
F Honsell
,
Marino Miculan
2001-01-01
Cite
Publication
LECTURE NOTES IN COMPUTER SCIENCE
Related
Proceedings of the Workshop COMETA Computational Metamodels
Proceedings of COMETA 2003
MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences)
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
pi-calculus in (Co)Inductive Type Theories
Cite
×