11. TLCA 2011:
Novi Sad,
Serbia
C.-H. Luke Ong (Ed.):
Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings.
Lecture Notes in Computer Science 6690 Springer 2011, ISBN 978-3-642-21690-9 
Abstracts of Invited Lectures
Contributed Papers
- Andreas Abel, Brigitte Pientka:
Higher-Order Dynamic Pattern Unification for Dependent Types and Records.
10-26
- Zena M. Ariola, Hugo Herbelin, Alexis Saurin:
Classical Call-by-Need and Duality.
27-44
- Peter Arndt, Krzysztof Kapulkin:
Homotopy-Theoretic Models of Type Theory.
45-60
- Pierre Bourreau, Sylvain Salvati:
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus.
61-75
- Aloïs Brunel, Olivier Hermant, Clément Houtmann:
Orthogonality and Boolean Algebras for Deduction Modulo.
76-90
- Pierre Clairambault, Peter Dybjer:
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories.
91-106
- Stéphane Gimenez:
Realizability Proof for Normalization of Full Differential Linear Logic.
107-122
- Marc Lasson:
Controlling Program Extraction in Light Logics.
123-137
- Antoine Madet, Roberto M. Amadio:
An Elementary Affine λ-Calculus with Multithreading and Side Effects.
138-152
- Giulio Manzonetto, Michele Pagani:
Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion.
153-168
- Jakob Rehof, Pawel Urzyczyn:
Finite Combinatory Logic with Intersection Types.
169-183
- Luca Roversi:
Linear Lambda Calculus and Deep Inference.
184-197
- Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski:
Partiality, State and Dependent Types.
198-212
- Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
A Filter Model for the λμ-Calculus - (Extended Abstract).
213-228
- Reuben N. S. Rowe, Steffen van Bakel:
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract).
229-244
Last update Fri May 25 08:43:12 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
