Bruni R

Latest

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