The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1970-1975 (34) 1976-1979 (15) 1980-1982 (16) 1983-1984 (16) 1985-1986 (27) 1987 (24) 1988 (18) 1989 (26) 1990 (23) 1991 (29) 1992 (25) 1993 (39) 1994 (39) 1995 (44) 1996 (42) 1997 (42) 1998 (28) 1999 (61) 2000 (40) 2001 (49) 2002 (54) 2003 (43) 2004 (38) 2005 (51) 2006 (51) 2007 (58) 2008 (66) 2009 (53) 2010 (25) 2011 (24) 2012 (33) 2013 (26) 2014-2015 (42) 2016 (19) 2017 (24) 2018 (21) 2019 (23) 2020 (27) 2021 (22) 2022 (21) 2023 (22) 2024 (6)
Publication types (Num. hits)
article(470) book(13) incollection(4) inproceedings(868) phdthesis(29) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 658 occurrences of 307 keywords

Results
Found 1386 publication records. Showing 1386 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
115Silvia Ghilezan, Viktor Kuncak Confluence of Untyped Lambda Calculus via Simple Types. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
114Jean-Jacques Lévy An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
113Shinn-Der Lee, Daniel P. Friedman Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
108Antonino Salibra Topological incompleteness and order incompleteness of the lambda calculu. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models
106Roel C. de Vrijer Big trees in a lambda - calculus with lambda - expressions as types. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
105Wayne Citrin, Richard Hall, Benjamin G. Zorn Programming with Visual Expressions. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables
103Alberto Carraro, Antonino Salibra Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
102Richard Kennaway, M. Ronan Sleep Director Strings as Combinators. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
94Reiji Nakajima Infinite normal forms for the lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
94Giorgio Ausiello On the description of time varying systems in lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
94Louis Nolin Les modèles informatiques des lambda-calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
94J. M. E. Hyland A survey of some useful partial order relations on terms of the lambda calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
94Luigia Carlucci Aiello, Mario Aiello Programming language semantics in a typed lambda - calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
94Herbert Egli Typed meaning in Scott's lambda - calculus models. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
94Gérard P. Huet unification in typed lambda calculus. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
85Carlos Herrero, Javier Oliver 0001 Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. Search on Bibsonomy SOFSEM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra
84William Blum, C.-H. Luke Ong The Safe Lambda Calculus. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
84Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
81David A. Schmidt State-transition machines for lambda-calculus expressions. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine
79Giulio Manzonetto, Antonino Salibra Boolean Algebras for Lambda Calculus. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
79Luigi 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
79Horatiu Cirstea, Luigi Liquori, Benjamin Wack Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rewriting-calculus, Object-calculus, Pattern Mat-ching, Lambda-calculus, Type Theory, Fixpoints
77Barbara 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
76Marcelo P. Fiore Semantic analysis of normalisation by evaluation for typed lambda calculus. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
76Anton Setzer Java as a Functional Programming Language. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
76Don Pigozzi, Antonino Salibra A Representation Theorem for Lambda Abstraction Algebras. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
74Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Sebastian Hunt, David Sands 0001 New Program Abstractions for Privacy. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Andrew Fielder Modelling the Impact of Threat Intelligence on Advanced Persistent Threat Using Games. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Flemming Nielson, Hanne Riis Nielson Secure Guarded Commands. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Alessandra Di Pierro A Type Theory for Probabilistic λ-calculus. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Torben Amtoft, Kelly Androutsopoulos, David Clark 0001 Correctly Slicing Extended Finite State Machines. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski Galois Connections for Recursive Types. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Simon J. Gay Cables, Trains and Types. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Sakshyam Panda, Emmanouil Panaousis, George Loukas, Christos Laoudias Optimizing Investments in Cyber Hygiene for Protecting Healthcare Users. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta Security Metrics at Work on the Things in IoT Systems. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Helmut Seidl, Julian Erhard, Ralf Vogler Incremental Abstract Interpretation. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Richard Prideaux Evans, Martin Berger 0001 Cathoristic Logic. Search on Bibsonomy From Lambda Calculus to Cybersecurity Through Program Analysis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Corrado Böhm (eds.) Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975 Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Corrado Böhm, Mariangiola Dezani-Ciancaglini Lambda-terms as total or partial functions on normal forms. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Dana S. Scott Some philosophical issues concerning theories of combinators. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Marisa Venturini Zilli A model with nondeterministic computation. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Carlo Batini, Alberto Pettorossi On subrecursiveness in weak combinatory logic. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74J. W. de Bakker Least fixed points revisited. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Vladimir Yu. Sazonov Sequentially and parallelly computable functionals. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Dana S. Scott Combinators and classes. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74A. Dubinsky Computation on arbitrary algebras. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74 Open problems. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Henk Barendregt Normed uniformly reflexive structures. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Giuseppe Jacopini A condition for identifying two elements of whatever model of combinatory logic. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Jan Willem Klop On solvability by lambda I - terms. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
74Peter H. Welch Continuous semantics and inside-out reductions. Search on Bibsonomy Lambda-Calculus and Computer Science Theory The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
72Alessandro Berarducci, Corrado Böhm A Self-Interpreter of Lambda Calculus Having a Normal Form. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
71Richard Statman Morphisms and Partitions of V-sets. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
69Luis Mandel, María Victoria Cengarle The Disjunctive Constrained Lambda Calculus. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF constraints, functional programming, lambda calculus, denotational semantics, multiple solutions
69Iliano Cervesato, Frank Pfenning Linear Higher-Order Pre-Unification. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
69David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August Static typing for a faulty lambda calculus. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults
68Jean 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
68Peter Selinger, Benoît Valiron A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
68Kazunori Ueda Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
68Yo Ohta, Masahito Hasegawa A Terminating and Confluent Linear Lambda Calculus. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67Thérèse Hardin, Luc Maranget, Bruno Pagano Functional Back-Ends within the Lambda-Sigma Calculus. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
66Søren B. Lassen Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
65Kazushige Terui Light affine lambda calculus and polynomial time strong normalization. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Light logics, Lambda calculus, Polynomial time
64Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lambda conversion, implementation, lambda calculus, explicit substitution
64Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak Logical Relations for Monadic Types. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF semantics, monads, logical relations, typed lambda-calculus
64Ryo Yoshinaka Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Antonio Bucciarelli, Antonino Salibra The Sensible Graph Theories of Lambda Calculus. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
64Julia L. Lawall, Harry G. Mairson Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
62Gérard Boudol, Carolina Lavatelli Full Abstraction for Lambda Calculus with Resources and Convergence Testing. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF intersection type systems, calculus, full abstraction
61Yu 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
61Pierre-Louis Curien, Hugo Herbelin The duality of computation. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
61James L. Caldwell Moving Proofs-As-Programs into Practice. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
61Giulio Manzonetto, Antonino Salibra From lambda-Calculus to Universal Algebra and Back. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
61Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation
60Masahito Hasegawa Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
59Roberto Di Cosmo, Delia Kesner Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
57Martin Odersky, Dan Rabin, Paul Hudak Call by Name, Assignment, and the Lambda Calculus. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
57Jean-Louis Krivine A call-by-name lambda-calculus machine. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lambda-calculus machine, Control instruction, Curry-Howard correspondence
57Klaus Aehlig, Jan Johannsen An elementary fragment of second-order lambda calculus. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Elementary recursive functions, complexity, lambda calculus, second order logic
57Carsten K. Gomard A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF partial evaluation, lambda calculus, compiler generation, self-application
56Rafael del Vado Vírseda A higher-order logical framework for the algorithmic debugging and verification of declarative programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
56Stefan 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
56Roberto Bruni, Ugo Montanari Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
56Paul Blain Levy Jumbo lambda-Calculus. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler The Call-by-Need Lambda Calculus. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
56Jan Kuper Usability: Formalising (Un)definedness in Typed Lambda Calculus. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
56Jan Willem Klop Origin Tracking in Term Rewriting (Abstract). Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
54Delia Kesner, Pablo E. Martínez López Explicit Substitutions for Objects and Functions. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
53Mitsuhiro Okada Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. Search on Bibsonomy ISSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
53Patrick Baillot, Virgile Mogbil Soft lambda-Calculus: A Language for Polynomial Time Computation. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Peter 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
53Patricia Johann, Michael Kohlhase Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
52José Espírito Santo, Luís Pinto 0001 Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Alessandro Berarducci, Corrado Böhm General Recursion on Second Order Term Algebras. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
52Christian Urban Nominal Techniques in Isabelle/HOL. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nominal logic work, Lambda-calculus, Theorem provers
52Christian Urban, Christine Tasson Nominal Techniques in Isabelle/HOL. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF theorem-assistants, Lambda-calculus, nominal logic, structural induction
52Gopalan Nadathur, Xiaochu Qi Explicit substitutions in the reduction of lambda terms. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
52Jaroslav Pokorný XML Functionally. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF XML functionality, XML language, IS/IT community, markup text components, marking text components, typed XML data, XML-/spl lambda/, mathematical functions, XML objects, nested tables, XML-QL, data structures, query language, type system, data exchange, information sources, typed lambda calculus, XML data, database view, hypermedia markup languages
52Ugo Dal Lago, Simone Martini 0001 On Constructor Rewrite Systems and the Lambda-Calculus. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1386 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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