The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TLCA"( http://dblp.L3S.de/Venues/TLCA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tlca

Publication years (Num. hits)
1993 (30) 1995 (30) 1997 (25) 1999 (28) 2001 (33) 2003 (22) 2005 (31) 2007 (28) 2009 (30) 2011 (20) 2013 (19) 2015 (25)
Publication types (Num. hits)
inproceedings(309) proceedings(12)
Venues (Conferences, Journals, ...)
TLCA(321)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 23 keywords

Results
Found 321 publication records. Showing 321 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof Mixin Composition Synthesis Based on Intersection Types. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca Observability for Pair Pattern Calculi. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gabriel Scherer Multi-Focusing on Extensional Rewriting with Sums. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Castellan, Pierre Clairambault, Peter Dybjer Undecidability of Equality in the Free Locally Cartesian Closed Category. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca Standardization of a Call-By-Value Lambda-Calculus. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benedikt Ahrens, Paolo Capriotti, Régis Spadotti Non-Wellfounded Trees in Homotopy Type Theory. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martín Hötzel Escardó, Chuangjie Xu The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuting Wang, Kaustuv Chaudhuri A Proof-theoretic Characterization of Independence in Type Theory. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton Models for Polymorphism over Physical Dimension. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marc Bezem, Thierry Coquand, Erik Parmann Non-Constructivity in Kan Simplicial Sets. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro Dependent Types for Nominal Terms with Atom Substitutions. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Hofmann 0001, Georg Moser Multivariate Amortised Resource Analysis for Term Rewrite Systems. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1José Espírito Santo Curry-Howard for Sequent Calculus at Last!. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau Wild omega-Categories for the Homotopy Hypothesis in Type Theory. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brian F. Redmond Polynomial Time in the Parametric Lambda Calculus. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jonas Frey Realizability Toposes from Specifications. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dariusz Biernacki, Piotr Polesiuk Logical Relations for Coherence of Effect Subtyping. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marc Bagnol MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch (eds.) 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  BibTeX  RDF
1Ali Assaf 0002 Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Brigitte Pientka, Andreas Abel 0001 Well-Founded Recursion over Contextual Objects. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Jouannaud, Jianqi Li Termination of Dependently Typed Rewrite Rules. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Colin Riba Fibrations of Tree Automata. Search on Bibsonomy TLCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula Severi, Fer-Jan de Vries Completeness of Conversion between Reactive Programs for Ultrametric Models. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Clairambault Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Fridlender, Miguel Pagano A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts System F i . Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peter Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch Small Induction Recursion. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Valentin Blot Realizability for Peano Arithmetic with Winning Conditions in HON Games. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Federico Aschieri, Margherita Zorzi Non-determinism, Non-termination and the Strong Normalization of System T. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp On Interaction, Continuations and Defunctionalization. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolai Kraus, Martín Hötzel Escardó, Thierry Coquand, Thorsten Altenkirch Generalizations of Hedberg's Theorem. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hugo Herbelin Proving with Side Effects. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nick Benton, Martin Hofmann 0001, Vivek Nigam Proof-Relevant Logical Relations for Name Generation. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boris Düdder, Moritz Martens, Jakob Rehof Intersection Type Matching with Subtyping. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Simon L. Peyton Jones Type-Directed Compilation in the Wild: Haskell and Core. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Damiano Mazza Non-linearity as the Metric Completion of Linearity. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Masahito Hasegawa (eds.) Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefano Berardi, Makoto Tatsuta Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sylvain Salvati, Igor Walukiewicz Using Models to Model-Check Recursive Schemes. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chuangjie Xu, Martín Hötzel Escardó A Constructive Model of Uniform Continuity. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Flavien Breuvart The Resource Lambda Calculus Is Short-Sighted in Its Relational Model. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Bourreau, Sylvain Salvati Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giulio Manzonetto, Michele Pagani Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zena M. Ariola, Hugo Herbelin, Alexis Saurin Classical Call-by-Need and Duality. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sophie Tison Tree Automata, (Dis-)Equality Constraints and Term Rewriting - What's New? Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro A Filter Model for the λμ-Calculus - (Extended Abstract). Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ashish Tiwari Rewriting in Practice. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stéphane Gimenez Realizability Proof for Normalization of Full Differential Linear Logic. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001, Brigitte Pientka Higher-Order Dynamic Pattern Unification for Dependent Types and Records. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aloïs Brunel, Olivier Hermant, Clément Houtmann Orthogonality and Boolean Algebras for Deduction Modulo. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jakob Rehof, Pawel Urzyczyn Finite Combinatory Logic with Intersection Types. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marc Lasson Controlling Program Extraction in Light Logics. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antoine Madet, Roberto M. Amadio An Elementary Affine λ-Calculus with Multithreading and Side Effects. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1C.-H. Luke Ong (eds.) Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich Combining Proofs and Programs. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Reuben N. S. Rowe, Steffen van Bakel Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski Partiality, State and Dependent Types. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Clairambault, Peter Dybjer The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexandre Miquel A Survey of Classical Realizability. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Arndt, Krzysztof Kapulkin Homotopy-Theoretic Models of Type Theory. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luca Roversi Linear Lambda Calculus and Deep Inference. Search on Bibsonomy TLCA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Atkey Syntax for Free: Representing Syntax with Binding Using Parametricity. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jeffrey Sarnat, Carsten Schürmann Lexicographic Path Induction. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter LeFanu Lumsdaine Weak omega-Categories from Intensional Type Theory. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ken-etsu Fujita, Aleksy Schubert Existential Type Systems with No Types in Terms. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Makoto Hamana Initial Algebra Semantics for Cyclic Sharing Structures. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre-Louis Curien (eds.) Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1William Lovas, Frank Pfenning Refinement Types as Proof Irrelevance. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Claudia Faggian, Mauro Piccolo Partial Orders, Event Structures and Linear Strategies. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Florian Stenger, Janis Voigtländer Parametricity for Haskell with Imprecise Error Semantics. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001, Thierry Coquand, Miguel Pagano A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pierre Boudes Thick Subtrees, Games and Experiments. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lionel Vaux Differential Linear Logic and Polarization. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hugo Herbelin, Stéphane Zimmermann An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gunnar Wilken, Andreas Weiermann Complexity of Gödel's T in lambda-Formulation. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization
1Federico Aschieri, Stefano Berardi Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Steven Awodey, Florian Rabe Kripke Semantics for Martin-Löf's Extensional Type Theory. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Colin Riba On the Values of Reducibility Candidates. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yu Zhang The Computational SLR: A Logic for Reasoning about Computational Indistinguishability. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christine Tasson Algebraic Totality, towards Completeness. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexandre Miquel Relating Classical Realizability and Negative Translation for Existential Witness Extraction. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Barbara Petit A Polymorphic Type System for the Lambda-Calculus with Constructors. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strong normalisation, pattern matching, polymorphism, lambda-calculus
1Ugo Dal Lago, Martin Hofmann 0001 Bounded Linear Logic, Revisited. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pawel Urzyczyn Inhabitation of Low-Rank Intersection Types. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dimitris Mostrous, Nobuko Yoshida Session-Based Communication Optimisation for Higher-Order Mobile Processes. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michele Basaldella, Kazushige Terui On the Meaning of Logical Completeness. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore, Chung-Kil Hur Mathematical Synthesis of Equational Deduction Systems. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michele Pagani The Cut-Elimination Theorem for Differential Nets with Promotion. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Takeshi Tsukada, Atsushi Igarashi A Logical Foundation for Environment Classifiers. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert Harper 0001, Daniel R. Licata, Noam Zeilberger A Pronominal Approach to Binding and Computation. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lutz Straßburger Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ana Bove, Venanzio Capretta Computation by Prophecy. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Benedetto Intrigila, Richard Statman The Omega Rule is P11-Complete in the lambdabeta -Calculus. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Koji Nakazawa An Isomorphism Between Cut-Elimination Procedure and Proof Reduction. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ying Jiang, Guo-Qiang Zhang Weakly Distributive Domains. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sylvain Boulmé Intuitionistic Refinement Calculus. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andreas Abel 0001 Strong Normalization and Equi-(Co)Inductive Types. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 321 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license