Ivan Scagnetto

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers
Consistency of the Theory of Contexts
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts
A Framework for Typed HOAS and Semantics
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
pi-calculus in (Co)Inductive Type Theories
The Theory of Contexts for First Order and Higher Order Abstract Syntax

Published with Wowchemy — the free, open source website builder that empowers creators.