Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th TLCA 2011: Novi Sad, Serbia
- C.-H. Luke Ong
:
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
- Alexandre Miquel:
A Survey of Classical Realizability. 1-2 - Sophie Tison:
Tree Automata, (Dis-)Equality Constraints and Term Rewriting - What's New? 3-5 - Ashish Tiwari:
Rewriting in Practice. 6-8 - Stephanie Weirich:
Combining Proofs and Programs. 9
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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-21 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
