TBC (abstract)

Extensional Models of Typed Lambda-mu Calculus (abstract)

A Translation of Intersection and Union Types for the lambda-mu Calculus (abstract)

Dualized Type Theory (abstract)

A proof-theoretic view on scheduling in concurrency (abstract)

A type system for Continuation Calculus (abstract)

Confluence for classical logic through the distinction between values and computations (abstract)

Infinitary Classical Logic: Recursive Equations and Interactive Semantics (abstract)

Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (abstract)

Cut-Elimination in Schematic Proofs and Herbrand Sequents (abstract)

Stratified Nested Linear Logic (abstract)

A sheaf model of the algebraic closure (abstract)

A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle (abstract)

Relative Computability and Uniform Continuity of Non-Extensional (aka Multivalued) 'Functions' (abstract)

Negative Translations and Heyting Algebra Expansions (abstract)