Lenisa M

Latest

• Modeling fresh names in the π-calculus using abstractions
• Proceedings of COMETA 2003
• Proceedings of the Workshop COMETA Computational Metamodels
• TOSCA 2001
• Comparing Higher-order Encodings in Logical Frameworks and Tile Logic