Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Felix Joachimski, Ralph Matthes |
Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Silvio Valentini, Matteo Viale |
A binary modal logic for the intersection types of lambda-calculus. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sergei Soloviev 0001, David Chemouil |
Some Algebraic Structures in Lambda-Calculus with Inductive Types. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Simona Ronchi Della Rocca |
Intersection Typed lambda-calculus. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Silvia Ghilezan, Silvia Likavec |
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. |
ITRS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Lippi |
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. |
TERMGRAPH |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Lippi |
Encoding Left Reduction in the Lambda-Calculus with Interaction Nets. |
Math. Struct. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong |
Innocent game models of untyped lambda-calculus. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Fiech, David A. Schmidt |
Polymorphic lambda calculus and subtyping. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Klaus Aehlig, Jan Johannsen |
An Elementary Fragment of Second-Order Lambda Calculus |
CoRR |
2002 |
DBLP BibTeX RDF |
|
20 | Zena M. Ariola, Stefan Blom |
Skew confluence and the lambda calculus with letrec. |
Ann. Pure Appl. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Catarina Coquand |
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions. |
High. Order Symb. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Peter Selinger |
The lambda calculus is algebraic. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gérard Boudol, Pascal Zimmer |
Recursion in the call-by-value lambda-calculus. |
FICS |
2002 |
DBLP BibTeX RDF |
|
20 | Antonino Salibra |
Nonmodularity Results for Lambda Calculus. |
Fundam. Informaticae |
2001 |
DBLP BibTeX RDF |
|
20 | Antonino Salibra |
Towards Lambda Calculus Order-Incompleteness. |
BOTH |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Peter Sestoft |
Demonstrating Lambda Calculus Reduction. |
MFPS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Shinya Sato, Toru Sugimoto, Shinichi Yamada |
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. |
WFLP |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Arnold Beckmann |
Exact Bounds for Lengths of Reductions in Typed lambda-Calculus. |
J. Symb. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Eduardo Bonelli |
Perpetuality in a named lambda calculus with explicit substitutions. |
Math. Struct. Comput. Sci. |
2001 |
DBLP BibTeX RDF |
|
20 | René David, Bruno Guillaume |
A lambda-calculus with explicit weakening and explicit substitution. |
Math. Struct. Comput. Sci. |
2001 |
DBLP BibTeX RDF |
|
20 | Rainer Kerth |
On the construction of stable models of untyped lambda-calculus. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Marino Miculan |
Developing (Meta)Theory of Lambda-calculus in the Theory of Context. |
MERLIN |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Joly |
Constant time parallel computations in lambda-calculus. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Athanassios Tzouvaras |
Objects and their lambda calculus. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Silvia Ghilezan |
Full Intersection Types and Topologies in Lambda Calculus. |
J. Comput. Syst. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Momigliano, Frank Pfenning |
Higher-Order Pattern Complement and the Strict Lambda-Calculus |
CoRR |
2001 |
DBLP BibTeX RDF |
|
20 | Fairouz Kamareddine |
Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Louis Krivine |
Typed lambda-calculus in classical Zermelo-Frænkel set theory. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 03E40, 03B40, 68N18 |
20 | Allan Ramsay |
Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application. |
Log. J. IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Torben Æ. Mogensen |
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jesse Alt, Sergei N. Artëmov |
Reflective lambda-Calculus. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Pietro Di Gianantonio |
Game Semantics for the Pure Lazy lambda-calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Andrzej Filinski |
Normalization by Evaluation for the Computational Lambda-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Joly |
The Finitely Generated Types of the lambda-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Jorge Sousa Pinto |
Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Altenkirch, Thierry Coquand |
A Finitary Subsystem of the Polymorphic lambda-Calculus. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Antonino Salibra |
A Continuum of Theories of Lambda Calculus without Semantics. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Altenkirch, Peter Dybjer, Martin Hofmann 0001, Philip J. Scott |
Normalization by Evaluation for Typed Lambda Calculus with Coproducts. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Masahito Hasegawa |
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
20 | Marcello M. Bonsangue, Joost N. Kok |
Infinite Intersection and Union Types for the Lazy Lambda Calculus. |
TACS |
2001 |
DBLP BibTeX RDF |
|
20 | René Vestergaard, James Brotherston |
A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Samson Abramsky, Marina Lenisa |
Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Benedetto Intrigila, Anna Rita Laurenzi |
Two Problems on Reduction Graphs in Lambda Calculus. |
Fundam. Informaticae |
2000 |
DBLP BibTeX RDF |
|
20 | Dana S. Scott |
Powersets, Fixed Points, and Lambda Calculus. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo |
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. |
HOOTS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | John Power |
Models for the computational lambda-calculus. |
MFCSIT |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mayer Goldberg |
Gödelization in the lambda calculus. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Healfdene Goguen, Jean Goubault-Larrecq |
Sequent combinators: a Hilbert system for the lambda calculus. |
Math. Struct. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
20 | Benedetto Intrigila, E. Biasone |
On the number of fixed points of a combinator in lambda calculus. |
Math. Struct. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
20 | Steven Awodey |
Topological representation of the lambda-calculus. |
Math. Struct. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
20 | Fangmin Song, YongSen Xu, Yuechen Qian |
The self-reduction in lambda calculus. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Antonino Salibra |
On the algebraic models of lambda calculus. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Joëlle Despeyroux, Pierre Leleu |
Metatheoretic Results for a Modal lambda-Calculus |
J. Funct. Log. Program. |
2000 |
DBLP BibTeX RDF |
|
20 | Peter W. O'Hearn, John C. Reynolds |
From Algol to polymorphic linear lambda-calculus. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
local state, linear logic, parametric polymorphism, logical relations |
20 | Manfred Schmidt-Schauß, Michael Huber |
A Lambda-Calculus with letrec, case, constructors and non-determinism |
CoRR |
2000 |
DBLP BibTeX RDF |
|
20 | Torben Æ. Mogensen |
Linear-Time Self-Interpretation of the Pure Lambda Calculus. |
High. Order Symb. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | A. J. Kfoury |
A linearization of the Lambda-calculus and consequences. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Mayer Goldberg |
Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. |
J. Funct. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Silvia Ghilezan |
Intersection Types and Topologies and Lambda Calculus. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
20 | William Ferreira 0001, Matthew Hennessy, Alan Jeffrey |
Combining the typed lambda-calculus with CCS. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
20 | Felix Joachimski, Ralph Matthes |
Standardization and Confluence for a Lambda Calculus with Generalized Applications. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Michel Parigot |
Strong Normalization of Second Order Symmetric lambda-Calculus. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Yasuhiko Minamide |
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation. |
HOOTS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Søren B. Lassen |
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. |
MFPS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Carsten Führmann |
Direct Models for the Computational Lambda Calculus. |
MFPS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi |
The call-by-value [lambda]-calculus: a semantic investigation. |
Math. Struct. Comput. Sci. |
1999 |
DBLP BibTeX RDF |
|
20 | Furio Honsell, Marina Lenisa |
Semantical Analysis of Perpetual Strategies in lambda-Calculus. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | John Maraist, Martin Odersky, David N. Turner, Philip Wadler |
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Gavin M. Bierman |
A Classical Linear lambda-Calculus. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Alessandro Berarducci, Mariangiola Dezani-Ciancaglini |
Infinite lambda-Calculus and Types. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Viviana Bono, Michele Bugliesi |
Matching for the lambda Calculus of Objects. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Bastonero, Xavier Gouy |
Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. |
Ann. Pure Appl. Log. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Norman Danner |
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus. |
Ann. Pure Appl. Log. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | James McKinna, Robert Pollack |
Some Lambda Calculus and Type Theory Formalized. |
J. Autom. Reason. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Martin Hofmann 0001 |
Semantics of Linear/Modal Lambda Calculus. |
J. Funct. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Tristan Crolard |
A confluent lambda-calculus with a catch/throw mechanism. |
J. Funct. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi |
Perpetual Reductions in Lambda-Calculus. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Antonino Salibra, Robert Goldblatt |
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Torben Æ. Mogensen |
Gödelization in the Untyped lambda-Calculus. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
20 | Catherine Pilière |
A Confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-Point. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Maribel Fernández, Ian Mackie |
Closed Reductions in the lambda-Calculus. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Samin S. Ishtiaq, David J. Pym |
Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy |
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. |
HLCL |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Laurent Dami |
A Lambda-Calculus for Dynamic Binding. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Robert Goldblatt |
Enlargement of Functional Algebras for the Lambda Calculus. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Naim Çagman, J. Roger Hindley |
Combinatory Weak Reduction in Lambda Calculus. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Gerald J. Sussman, Guy L. Steele Jr. |
Scheme: A Interpreter for Extended Lambda Calculus. |
High. Order Symb. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Anindya Banerjee 0001, David A. Schmidt |
Stackability in the Simply-Typed Call-by-Value lambda Calculus. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | John Maraist, Martin Odersky, Philip Wadler |
The Call-by-Need Lambda Calculus. |
J. Funct. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
A Filter Model for Concurrent lambda-Calculus. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Neil D. Jones, Carsten K. Gomard, Peter Sestoft |
Partial Evaluation for the Lambda Calculus. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Pietro Di Gianantonio, Furio Honsell, Luigi Liquori |
A Lambda Calculus of Objects with Self-Inflicted Extension. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Joëlle Despeyroux, Pierre Leleu |
A Modal Lambda Calculus with Iteration and Case Constructs. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Arne Kutzner, Manfred Schmidt-Schauß |
A Non-Deterministic Call-by-Need Lambda Calculus. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
20 | John Maraist |
Separating Weakening and Contraction in a Linear Lambda Calculus. |
CATS |
1998 |
DBLP BibTeX RDF |
|
20 | Carolina Lavatelli |
Deadlock Sensitive Types for Lambda Calculus with Resources. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. |
Fundam. Informaticae |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Henk Barendregt |
The impact of the lambda calculus in logic and computer science. |
Bull. Symb. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Infinitary Lambda Calculus. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|