TLCA 2011 Accepted Papers
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
Linear lambda calculus and Deep Inference
Orthogonality and Boolean Algebras for Deduction Modulo
Partiality, State and Dependent Types
A Filter Model for lambda-mu
Finite Combinatory Logic with Intersection Types
Classical call-by-need and duality
Game semantics and uniqueness of type inhabitance in the simply-typed lambda-calculus
Realizability Proof for Normalization of Full Differential Linear Logic
Elementary affine λ-calculus with multithreading and side effects
Bohm Theorem for Resource Lambda Calculus through Taylor Expansion
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
Higher-order dynamic pattern unification for PiSigma
Controlling program extraction in light logics
Homotopy Theoretic Models of Type Theory