R Bruni

Latest

• Modeling fresh names in the π-calculus using abstractions
• Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic