VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Altenkirch, Thorsten	Some constructions on ω-groupoids
Anand, Abhishek	A Generic Approach to Proofs about Substitution
B
Bengtson, Jesper	Session Types Meet Separation Logic
Boyland, John	Variable Arity for LF
Brady, Edwin	Idris: Implementing a Dependently Typed Programming Language
Brock-Nannestad, Taus	Hybrid Extensions in a Logical Framework
C
Cervesato, Iliano	Proof-Theoretic Foundations of Indexing in Logic Programming
Chaudhuri, Kaustuv	Automatically Deriving Schematic Theorems for Dynamic Contexts
Ciaffaglione, Alberto	Internal Adequacy of Bookkeeping in Coq
Copello, Ernesto	Gentle Formalisation of Stoughton’s Lambda Calculus Substitution
G
Guenot, Nicolas	Hybrid Extensions in a Logical Framework
L
Li, Nuo	Some constructions on ω-groupoids
M
Murawska, Agata	Hybrid Extensions in a Logical Framework
N
Nadathur, Gopalan	A Framework for the Verified Transformation of Functional Programs
P
Pientka, Brigitte	Welcome Remarks
R
Rabe, Florian	A Framework for Implementing Logical Frameworks
Rahli, Vincent	A Generic Approach to Proofs about Substitution
Rypacek, Ondrej	Some constructions on ω-groupoids
S
Savary Bélanger, Olivier	Automatically Deriving Schematic Theorems for Dynamic Contexts
Scagnetto, Ivan	Internal Adequacy of Bookkeeping in Coq
Schürmann, Carsten	Hybrid Extensions in a Logical Framework
Szasz, Nora	Gentle Formalisation of Stoughton’s Lambda Calculus Substitution
T
Tasistro, Alvaro	Gentle Formalisation of Stoughton’s Lambda Calculus Substitution
Z
Zhao, Tian	Variable Arity for LF

Disclaimer | Powered by EasyChair Smart Program