The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase lambda-calculi (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1991 (15) 1992-1993 (43) 1994-1995 (41) 1996-1997 (41) 1998-1999 (37) 2000-2001 (39) 2002-2003 (31) 2004-2005 (42) 2006-2007 (41) 2008-2009 (45) 2010-2011 (29) 2012-2013 (24) 2014 (39) 2015 (26) 2016-2020 (16) 2021-2023 (5)
Publication types (Num. hits)
article(60) book(1) inproceedings(430) phdthesis(10) proceedings(13)
Venues (Conferences, Journals, ...)
TLCA(321) RTA-TLCA(34) CoRR(14) Theor. Comput. Sci.(13) LICS(12) RTA(9) CSL(7) Math. Struct. Comput. Sci.(5) Inf. Comput.(4) Ann. Pure Appl. Log.(3) ICALP(3) ICTAC(3) J. Funct. Program.(3) PPDP(3) CADE(2) FoSSaCS(2) More (+10 of total 73)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 74 occurrences of 56 keywords

Results
Found 514 publication records. Showing 514 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90Matthias M. Hölzl, John N. Crossley Disjunctive Constraint Lambda Calculi. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
88Bart Jacobs 0001 Semantics of lambda-I and of other substructure lambda calculi. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
84Luigi Liquori Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. (Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti / Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets). Search on Bibsonomy 1996   RDF
81Stefan Blom An Approximation Based Approach to Infinitary Lambda Calculi. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF infinitary rewriting, lambda calculus
80Yohji Akama Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity
76Masahito Hasegawa Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
76Marina Lenisa Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
76Pawel Urzyczyn Inhabitation in Typed Lambda-Calculi (A Syntactic Approach). Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
76Hongwei Xi Weak and Strong Beta Normalisations in Typed Lambda-Calculi. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
76Paul-André Melliès Typed lambda-calculi with explicit substitutions may not terminate. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
76Masako Takahashi Lambda-Calculi with Conditional Rules. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
73Matthias M. Hölzl, John N. Crossley Constraint-Lambda Calculi. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
65Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF domain-free type system, undecidability, existential type, CPS-translation
65José Espírito Santo Delayed Substitutions. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Manfred Schmidt-Schauß Correctness of Copy in Calculi with Letrec. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang Complete Lax Logical Relations for Cryptographic Lambda-Calculi. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Cryptographic lambda-calculus, Subscone, Monads, Logical relations
62Yu Zhang, David Nowak Logical Relations for Dynamic Name Creation. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi
57Flemming Nielson, Hanne Riis Nielson Prescriptive Frameworks for Multi-Level Lambda-Calculi. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
56Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii Environmental Bisimulations for Higher-Order Languages. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Slawomir Lasota 0001, David Nowak, Yu Zhang On Completeness of Logical Relations for Monadic Types. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Philippe de Groote (eds.) Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Ferruccio Damiani, Paola Giannini An Inference Algorithm for Strictness. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Harald Rueß Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Toshihiko Kurata A Type Theoretical View of Böhm-Trees. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Judicaël Courant A Module Calculus for Pure Type Systems. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Ian Stark Names, Equations, Relations: Practical Ways to Reason about new. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Hugo Herbelin Games and Weak-Head Reduction for Classical PCF. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Izumi Takeuti An Axiomatic System of Parametricity. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Torben Braüner A Simple Adequate Categorical Model for PCF. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Stefano Berardi, Luca Boerio Minimum Information Code in a Pure Functional Language with Data Types. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Antonio Bucciarelli Logical Reconstruction of Bi-domains. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Christian Retoré Pomset Logic: A Non-commutative Extension of Classical Linear Logic. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Femke van Raamsdonk Outermost-Fair Rewriting. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann Primitive Recursion for Higher-Order Abstract Syntax. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Stefano Guerrini, Simone Martini 0001, Andrea Masini Proof Nets, Garbage, and Computations. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Michael Brandt, Fritz Henglein Coinductive Axiomatization of Recursive Type Equality and Subtyping. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Viviana Bono, Michele Bugliesi Matching Constraints for the Lambda Calculus of Objects. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Yohji Akama A Lambda-to-CL Translation for Strong Normalization. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Jan Malolepszy, Malgorzata Moczurad, Marek Zaionc Schwichtenberg-Style Lambda Definability Is Undecidable. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Gianna Bellè, Eugenio Moggi Typed Intermediate Languages for Shape Analysis. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Neil Ghani Eta-Expansions in Dependent Type Theory - The Calculus of Constructions. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin (eds.) Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51M. Randall Holmes Untyped lambda-Calculus with Relative Typing. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Vincent Padovani On Equivalence Classes of Interpolation Equations. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi Categorical semantics of the call-by-value lambda-calculus. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Antonius J. C. Hurkens A Simplification of Girard's Paradox. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Roberto Bellucci, Martín Abadi, Pierre-Louis Curien A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Healfdene Goguen Typed Operational Semantics. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Neil Ghani ßn-Equality for Coproducts. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Yann Coscoy, Gilles Kahn, Laurent Théry Extracting Text from Proofs. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Toshihiko Kurata, Masako Takahashi Decidable Properties of Intersection Type Systems. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Gavin M. Bierman What is a Categorical Model of Intuitionistic Linear Logic? Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Gilles Barthe Extensions of Pure Type Systems. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51François Leclerc Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Furio Honsell, Marina Lenisa Final Semantics for untyped lambda-calculus. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Roberto Di Cosmo, Adolfo Piperno Expanding Extensional Polymorphism. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Eike Ritter, Andrew M. Pitts A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Robert Pollack A Verified Typechecker. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Stefano Berardi, Marc Bezem, Thierry Coquand A realization of the negative interpretation of the Axiom of Choice. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Hidetaka Kondoh Basic Properties of Data Types with Inequational Refinements. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Jan Springintveld Third-Order Matching in the Presence of Type Constructors. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Gilles Dowek Lambda-calculus, Combinators and the Comprehension Scheme. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Stefano Berardi, Luca Boerio Using Subtyping in Program Optimization. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Alex K. Simpson Categorical completeness results for the simply-typed lambda-calculus. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Joëlle Despeyroux, Amy P. Felty, André Hirschowitz Higher-Order Abstract Syntax in Coq. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Jaco van de Pol, Helmut Schwichtenberg Strict Functionals for Termination Proofs. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Philippe de Groote A Simple Calculus of Exception Handling. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Daniel Briaud An explicit Eta rewrite rule. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Martin Hofmann 0001 A Simple Model for Quotient Types. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Andrea Asperti, Cosimo Laneve Comparing Lambda-calculus translations in Sharing Graphs. Search on Bibsonomy TLCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Marc Bezem, Jan Friso Groote (eds.) Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Hans Leiß Combining Recursive and Dynamic Types. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Jan Springintveld Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Pietro Di Gianantonio, Furio Honsell An Abstract Notion of Application. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51J. M. E. Hyland, C.-H. Luke Ong Modified Realizability Toposes and Strong Normalization Proofs. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Tobias Nipkow Orthogonal Higher-Order Rewrite Systems are Confluent. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Gilles Dowek The Undecidability of Typability in the Lambda-Pi-Calculus. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Franco Barbanera, Stefano Berardi Extracting Constructive Content from Classical Logic via Control-like Reductions. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Giorgio Ghelli Recursive Types Are not Conservative over F. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Benjamin C. Pierce Intersection Types and Bounded Polymorphism. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Kurt Sieber Call-by-Value and Nondeterminism. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51James McKinna, Robert Pollack Pure Type Systems Formalized. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Philippe de Groote The Conservation Theorem revisited. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Pawel Urzyczyn Type reconstruction in F-omega is undecidable. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Daniel Leivant, Jean-Yves Marion Lambda calculus characterizations of poly-time. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Franco Barbanera, Maribel Fernández Combining First and Higher Order Rewrite Systems with Type Assignment Systems. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Christine Paulin-Mohring Inductive Definitions in the system Coq - Rules and Properties. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Achim Jung, Jerzy Tiuryn A New Characterization of Lambda Definability. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Bart Jacobs 0001, Thomas F. Melham Translating Dependent Type Theory into Higher Order Logic. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Achim Jung, Allen Stoughton Studying the Fully Abstract Model of PCF within its Continuous Function Model. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Ulrich Berger 0001 Program Extraction from Normalization Proofs. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Yohji Akama On Mints' Reduction for ccc-Calculus. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Daniel F. Otth Monotonic versus Antimonotonic Exponentation. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland A Term Calculus for Intuitionistic Linear Logic. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Thorsten Altenkirch A Formalization of the Strong Normalization Proof for System F in LEGO. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Gordon D. Plotkin, Martín Abadi A Logic for Parametric Polymorphism. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
51Steffen van Bakel Partial Intersection Type Assignment in Applicative Term Rewriting Systems. Search on Bibsonomy TLCA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
49Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Peter W. O'Hearn Resource Interpretations, Bunched Implications and the alpha lambda-Calculus. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 514 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license