CLC MEETING PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B C E G H K L M N P S V

B
Basaldella, Michele	Infinitary Classical Logic: Recursive Equations and Interactive Semantics (PDF, talk)
Beffara, Emmanuel	A proof-theoretic view on scheduling in concurrency (PDF, talk)
C
Cerna, David	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
Coquand, Thierry	A sheaf model of the algebraic closure (PDF, talk)
E
Eades Iii, Harley	Dualized Type Theory (PDF, talk)
Espírito Santo, José	Confluence for classical logic through the distinction between values and computations (PDF, talk)
G
Geraedts, Wouter	A type system for Continuation Calculus (PDF, talk)
Geron, Bram	A type system for Continuation Calculus (PDF, talk)
Geuvers, Herman	A type system for Continuation Calculus (PDF, talk)
H
Hughes, Dominic	Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (PDF, talk)
K
Kikuchi, Kentaro	A Translation of Intersection and Union Types for the lambda-mu Calculus (PDF, talk)
L
Leitsch, Alexander	Cut-Elimination in Schematic Proofs and Herbrand Sequents (PDF, talk)
M
Mannaa, Bassel	A sheaf model of the algebraic closure (PDF, talk)
Matthes, Ralph	Confluence for classical logic through the distinction between values and computations (PDF, talk)
McCleeary, Ryan	Dualized Type Theory (PDF, talk)
N
Nakazawa, Koji	Confluence for classical logic through the distinction between values and computations (PDF, talk) Extensional Models of Typed Lambda-mu Calculus (PDF, talk)
P
Perrinel, Matthieu	Stratified Nested Linear Logic (PDF, talk)
Pinto, Luís	Confluence for classical logic through the distinction between values and computations (PDF, talk)
S
Sakurai, Takafumi	A Translation of Intersection and Union Types for the lambda-mu Calculus (PDF, talk)
Stump, Aaron	Dualized Type Theory (PDF, talk)
V
van Bakel, Steffen	A fully-abstract semantics of lambda-mu in the pi-calculus (PDF)
van Stegeren, Judith	A type system for Continuation Calculus (PDF, talk)
Vigliotti, Maria Grazia	A fully-abstract semantics of lambda-mu in the pi-calculus (PDF)