TLCA

Keyphrases

Publications

2015

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis Based on Intersection Types. TLCA (2015)
Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton
Models for Polymorphism over Physical Dimension. TLCA (2015)
Gabriel Scherer
Multi-Focusing on Extensional Rewriting with Sums. TLCA (2015)
Jonas Frey
Realizability Toposes from Specifications. TLCA (2015)
Jean-Pierre Jouannaud, Jianqi Li
Termination of Dependently Typed Rewrite Rules. TLCA (2015)
Brian F. Redmond
Polynomial Time in the Parametric Lambda Calculus. TLCA (2015)
Marc Bagnol
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams. TLCA (2015)
Colin Riba
Fibrations of Tree Automata. TLCA (2015)
Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro
Dependent Types for Nominal Terms with Atom Substitutions. TLCA (2015)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization of a Call-By-Value Lambda-Calculus. TLCA (2015)
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
Non-Wellfounded Trees in Homotopy Type Theory. TLCA (2015)
Marc Bezem, Thierry Coquand, Erik Parmann
Non-Constructivity in Kan Simplicial Sets. TLCA (2015)
Simon Castellan, Pierre Clairambault, Peter Dybjer
Undecidability of Equality in the Free Locally Cartesian Closed Category. TLCA (2015)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
Observability for Pair Pattern Calculi. TLCA (2015)
Brigitte Pientka, Andreas Abel
Well-Founded Recursion over Contextual Objects. TLCA (2015)
Yuting Wang, Kaustuv Chaudhuri
A Proof-theoretic Characterization of Independence in Type Theory. TLCA (2015)
Ali Assaf
Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting. TLCA (2015)
André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
Wild omega-Categories for the Homotopy Hypothesis in Type Theory. TLCA (2015)
Martín Hötzel Escardó, Chuangjie Xu
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. TLCA (2015)
Front Matter, Table of Contents, Preface, Conference Organization. TLCA (2015)
Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh
Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. TLCA (2015)
Dariusz Biernacki, Piotr Polesiuk
Logical Relations for Coherence of Effect Subtyping. TLCA (2015)
José Espírito Santo
Curry-Howard for Sequent Calculus at Last!. TLCA (2015)
Martin Hofmann, Georg Moser
Multivariate Amortised Resource Analysis for Term Rewrite Systems. TLCA (2015)

volume 38, 2015

13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland TLCA 38 (2015)

2013

volume 7941, 2013

Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings TLCA 7941 (2013)

2011

volume 6690, 2011

Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings TLCA 6690 (2011)