default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th TLCA 2015: Warsaw, Poland
- Thorsten Altenkirch:
13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, Warsaw, Poland, July 1-3, 2015. LIPIcs 38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-87-3 - Front Matter, Table of Contents, Preface, Conference Organization. i-xii
- Bahareh Afshari
, Stefan Hetzl, Graham Emil Leigh:
Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. 1-16 - Benedikt Ahrens, Paolo Capriotti, Régis Spadotti:
Non-Wellfounded Trees in Homotopy Type Theory. 17-30 - Ali Assaf:
Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting. 31-44 - Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton:
Models for Polymorphism over Physical Dimension. 45-59 - Marc Bagnol:
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams. 60-75 - Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof:
Mixin Composition Synthesis Based on Intersection Types. 76-91 - Marc Bezem, Thierry Coquand, Erik Parmann:
Non-Constructivity in Kan Simplicial Sets. 92-106 - Dariusz Biernacki, Piotr Polesiuk:
Logical Relations for Coherence of Effect Subtyping. 107-122 - Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca:
Observability for Pair Pattern Calculi. 123-137 - Simon Castellan, Pierre Clairambault, Peter Dybjer:
Undecidability of Equality in the Free Locally Cartesian Closed Category. 138-152 - Martín Hötzel Escardó, Chuangjie Xu:
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. 153-164 - José Espírito Santo:
Curry-Howard for Sequent Calculus at Last!. 165-179 - Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro:
Dependent Types for Nominal Terms with Atom Substitutions. 180-195 - Jonas Frey:
Realizability Toposes from Specifications. 196-210 - Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca:
Standardization of a Call-By-Value Lambda-Calculus. 211-225 - André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau:
Wild omega-Categories for the Homotopy Hypothesis in Type Theory. 226-240 - Martin Hofmann, Georg Moser:
Multivariate Amortised Resource Analysis for Term Rewrite Systems. 241-256 - Jean-Pierre Jouannaud, Jianqi Li:
Termination of Dependently Typed Rewrite Rules. 257-272 - Brigitte Pientka, Andreas Abel:
Well-Founded Recursion over Contextual Objects. 273-287 - Brian F. Redmond:
Polynomial Time in the Parametric Lambda Calculus. 288-301 - Colin Riba:
Fibrations of Tree Automata. 302-316 - Gabriel Scherer:
Multi-Focusing on Extensional Rewriting with Sums. 317-331 - Yuting Wang, Kaustuv Chaudhuri:
A Proof-theoretic Characterization of Independence in Type Theory. 332-346
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 2026-01-29 23:10 CET 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:
