Marina Lenisa

Latest

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