Talk Author Index

TALK AUTHOR INDEX

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

A
Aschieri, Federico	A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle
B
Basaldella, Michele	Infinitary Classical Logic: Recursive Equations and Interactive Semantics
Beffara, Emmanuel	A proof-theoretic view on scheduling in concurrency
C
Cerna, David	Cut-Elimination in Schematic Proofs and Herbrand Sequents
Coquand, Thierry	A sheaf model of the algebraic closure
E
Eades Iii, Harley	Dualized Type Theory
Espírito Santo, José	Confluence for classical logic through the distinction between values and computations
G
Geraedts, Wouter	A type system for Continuation Calculus
Geron, Bram	A type system for Continuation Calculus
Geuvers, Herman	A type system for Continuation Calculus
H
Hughes, Dominic	Separable Sequent Calculus for First-order Classical Logic (Work in Progress)
K
Kikuchi, Kentaro	A Translation of Intersection and Union Types for the lambda-mu Calculus
L
Leitsch, Alexander	Cut-Elimination in Schematic Proofs and Herbrand Sequents
Litak, Tadeusz	Negative Translations and Heyting Algebra Expansions
M
Mannaa, Bassel	A sheaf model of the algebraic closure
Matthes, Ralph	Confluence for classical logic through the distinction between values and computations
McCleeary, Ryan	Dualized Type Theory
Miquel, Alexandre	TBC
N
Nakazawa, Koji	Extensional Models of Typed Lambda-mu Calculus Confluence for classical logic through the distinction between values and computations
P
Pauly, Arno	Relative Computability and Uniform Continuity of Non-Extensional (aka Multivalued) 'Functions'
Perrinel, Matthieu	Stratified Nested Linear Logic
Pinto, Luís	Confluence for classical logic through the distinction between values and computations
S
Sakurai, Takafumi	A Translation of Intersection and Union Types for the lambda-mu Calculus
Stump, Aaron	Dualized Type Theory
V
van Stegeren, Judith	A type system for Continuation Calculus
Z
Ziegler, Martin	Relative Computability and Uniform Continuity of Non-Extensional (aka Multivalued) 'Functions'
Zorzi, Margherita	A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle