CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
R Bruni
,
F Honsell
,
Marina Lenisa
,
Marino Miculan
2002-01-01
Cite
DOI
Type
Conference paper
Publication
TOSCA 2001
Related
Modeling fresh names in the π-calculus using abstractions
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)
TOSCA 2001
Cite
×