Furio Honsell

Latest

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
• Consistency of the Theory of Contexts
• Translating Specifications from Nominal Logic to CIC with the Theory of Contexts
• Modeling fresh names in the π-calculus using abstractions
• Special Issue of Theoretical Computer Science on FOSSACS 2001
• Theoretical Computer Science: Preface
• An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
• The Theory of Contexts for First Order and Higher Order Abstract Syntax
• Encoding Modal Logics in Logical Frameworks
• A natural deduction approach to dynamic logic