CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Comparing Higher-order Encodings in Logical Frameworks and Tile Logic
Bruni R
,
Honsell F
,
Lenisa M
,
Miculan M
2001-01-01
Cite
Type
Conference paper
Related
Modeling fresh names in the π-calculus using abstractions
Cite
×