Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Simona Ronchi Della Rocca, Luca Roversi |
Lambda Calculus and Intuitionistic Linear Logic. |
Stud Logica |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Jean H. Gallier |
Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus. |
Ann. Pure Appl. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Christopher League |
Review of Isomorphisms of Types: : from lambda-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995). |
SIGACT News |
1997 |
DBLP DOI BibTeX RDF |
|
20 | John Hatcliff, Olivier Danvy |
Thunks and the lambda-Calculus. |
J. Funct. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Zena M. Ariola, Matthias Felleisen |
The Call-By-Need lambda Calculus. |
J. Funct. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Peter Ørbæk, Jens Palsberg |
Trust in the lambda-Calculus. |
J. Funct. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Zena M. Ariola, Jan Willem Klop |
Lambda Calculus with Explicit Recursion. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001 |
Explicit Substitutions for the Lambda-Calculus. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Viviana Bono, Michele Bugliesi |
Matching Constraints for the Lambda Calculus of Objects. |
TLCA |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Hongwei Xi |
Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Yiannis N. Moschovakis |
A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Michael Karr |
A Translator from C to a Lambda-Calculus Representation. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Gavin M. Bierman |
Towards a Classical Linear lambda-calculus. |
Linear Logic Tokyo Meeting |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Enrico Tronci |
Equational Programming in Lambda-Calculus via SL-Systems. Part 2. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Raymond Hoofman |
Comparing Models of the Intensional Typed Lambda-Calculus. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Enrico Tronci |
Equational Programming in Lambda-Calculus via SL-Systems. Part 1. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Jonathan Springer, Samuel N. Kamin |
Strictness Analysis in the Imperative Lambda Calculus. |
LISP Symb. Comput. |
1996 |
DBLP BibTeX RDF |
|
20 | Michael Uschold |
The Use of the Typed Lambda Calculus for Guiding Naive Users in the Representation and Acquisition of Part-Whole Knowledge. |
Data Knowl. Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Pierre-Louis Curien, Roberto Di Cosmo |
A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson |
Database Query Languages Embedded in the Typed Lambda Calculus. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Gérard Boudol, Cosimo Laneve |
The Discriminating Power of Multiplicities in the Lambda-Calculus. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Franco Barbanera, Stefano Berardi |
A Symmetric Lambda Calculus for Classical Program Extraction. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | John Hughes |
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
20 | P. N. Benton, Philip Wadler |
Linear Logic, Monads and the Lambda Calculus. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Luigi Liquori, Giuseppe Castagna |
A Typed Lambda Calculus of Objects (Extended Abstract). |
ASIAN |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Jerzy Tiuryn, Mitchell Wand |
Untyped Lambda-Calculus with Input-Output. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Roland Fettig, Bernd Löchner |
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Luca Roversi |
A Type-Free Resource-Aware Lambda-Calculus. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy |
A Lambda Calculus with Letrecs and Barriers. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | John N. Crossley, Luis Mandel, Martin Wirsing |
First-Order Constrained Lambda Calculus. |
FroCoS |
1996 |
DBLP BibTeX RDF |
|
20 | Frank Pfenning, Hao-Chi Wong |
On a modal lambda calculus for S4. |
MFPS |
1995 |
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. |
MFPS |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Gérard Boudol, Cosimo Laneve |
Termination, deadlock and divergence in the lambda-calculus with multiplicities. |
MFPS |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Sundeep Oberoi |
lambda_beta' - A - lambda-Calculus with a Generalized beta-Reduction Rule. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | René David, Karim Nour |
Storage Operators and Directed Lambda-Calculus. |
J. Symb. Log. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Hassan Aït-Kaci, Jacques Garrigue |
Label-Selective lambda-Calculus Syntax and Confluence. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Asperti, Cosimo Laneve |
Paths, Computations and Labels in the lambda-Calculus. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Masami Hagiya |
A Typed lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Ciobanu |
Dataflow lambda-calculus. |
Sci. Ann. Cuza Univ. |
1995 |
DBLP BibTeX RDF |
|
20 | Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin |
Uncountable Limits and the lambda Calculus. |
Nord. J. Comput. |
1995 |
DBLP BibTeX RDF |
|
20 | Fairouz Kamareddine, Rob Nederpelt |
Refining Reduction in the Lambda Calculus. |
J. Funct. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Ugo de'Liguoro, Adolfo Piperno |
Non Deterministic Extensions of Untyped Lambda-Calculus. |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Masako Takahashi |
Parallel Reductions in lambda-Calculus |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Roberto Di Cosmo |
Second Order Isomorphic Types: A Proof Theoretic Study on Second Order lambda-Calculus with Surjective Paring and Terminal Object |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Wil Dekkers |
Inhabitation of Types in the Simply Typed Lambda Calculus |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Torben Æ. Mogensen |
Self-applicable Online Partial Evaluation of Pure Lambda Calculus. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Fairouz Kamareddine, Alejandro Ríos 0001 |
A Lambda-Calculus à la de Bruijn with Explicit Substitutions |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
20 | M. Randall Holmes |
Untyped lambda-Calculus with Relative Typing. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi |
Categorical semantics of the call-by-value lambda-calculus. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Furio Honsell, Marina Lenisa |
Final Semantics for untyped lambda-calculus. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Eike Ritter, Andrew M. Pitts |
A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Gilles Dowek |
Lambda-calculus, Combinators and the Comprehension Scheme. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Alex K. Simpson |
Categorical completeness results for the simply-typed lambda-calculus. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Asperti, Cosimo Laneve |
Comparing Lambda-calculus translations in Sharing Graphs. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Jan Springintveld |
Third-Order Matching in the Polymorphic Lambda Calculus. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Samson Abramsky, Guy McCusker |
Games and Full Abstraction for the Lazy lambda-Calculus |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Milind Gandhe, G. Venkatesh, Amitabha Sanyal |
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Jens Palsberg, Peter Ørbæk |
Trust in the lambda-Calculus |
SAS |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Lescanne |
The Lambda Calculus as an Abstract Data Type. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Asperti |
deltao!Epsilon = 1 - Optimizing Optimal lambda-Calculus Implementations. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Sabine Broda, Luís Damas |
A New Translation Algorithm from Lambda Calculus into Combinatory Logic. |
EPIA |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Masahito Hasegawa |
Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. |
Category Theory and Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Jonathan Rees |
A security kernel based on the lambda-calculus. |
|
1995 |
RDF |
|
20 | Luis Mandel |
Constrained lambda calculus. |
|
1995 |
RDF |
|
20 | Cosimo Laneve |
Distributive Evaluations of lambda-calculus. |
Fundam. Informaticae |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Benedetto Intrigila |
Some Results on Numerical Systems in lambda-Calculus. |
Notre Dame J. Formal Log. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Louis Krivine |
A General Storage Theorem for Integers in Call-by-Name lambda-Calculus. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Fairouz Kamareddine, Rob Nederpelt |
A Unified Approach to Type Theory Through a Refined lambda-Calculus. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Jean-Louis Krivine |
Classical Logic, Storage Operators and Second-Order lambda-Calculus. |
Ann. Pure Appl. Log. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Andrew W. Appel |
Loop Headers in Lambda-Calculus or CPS. |
LISP Symb. Comput. |
1994 |
DBLP BibTeX RDF |
|
20 | Kathleen Fisher, Furio Honsell, John C. Mitchell |
A lambda Calculus of Objects and Method Specialization. |
Nord. J. Comput. |
1994 |
DBLP BibTeX RDF |
|
20 | John Traxler |
A formalisation of design methods: A lambda-calculus approach to systems design with an application to text editing : L Feijs Ellis Horwood (1993) 502 pp £49.95 ISBN 0 13 106113 5. |
Inf. Softw. Technol. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Gérard P. Huet |
Residual Theory in lambda-Calculus: A Formal Development. |
J. Funct. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Davide Sangiorgi |
The Lazy Lambda Calculus in a Concurrency Scenario |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Simon Courtenage, Chris D. Clack |
Analysing Resource Use in the Lambda Calculus by Type Inference. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
20 | Michael Kohlhase |
Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. |
KI |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier |
Paths in the lambda-calculus |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | J. B. Wells |
Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Mads Tofte, Jean-Pierre Talpin |
Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Jacques Garrigue, Hassan Aït-Kaci |
The Typed Polymorphic Label-Selective lambda-Calculus. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
20 | A. J. Kfoury, J. B. Wells |
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
ML |
20 | Luca Boerio |
Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
May and Must Convergencey in Concurrent Lambda-Calculus. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Yann Orlarey, Dominique Fober, Stéphane Letz, Mark Bilton |
Lambda Calculus and Music Calculi. |
ICMC |
1994 |
DBLP BibTeX RDF |
|
20 | Anindya Banerjee 0001, David A. Schmidt |
Stackability in the Simply-Typed Call-by-Value Lambda Calculus. |
SAS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
Fully Abstract Semantics for Concurrent Lambda-calculus. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Franco Barbanera, Stefano Berardi |
A Symmetric Lambda Calculus for "Classical" Program Extraction. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Kung Chen, Martin Odersky |
A Type System for a Lambda Calculus with Assignments. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Ramón Pino Pérez, Christian Even |
An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Raymond Hoofman |
Comparing Models of the Non-Extensional Typed Lambda-Calculus. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Philippe de Groote |
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. |
LFCS |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Leivant, Jean-Yves Marion |
Lambda Calculus Characterizations of Poly-Time. |
Fundam. Informaticae |
1993 |
DBLP BibTeX RDF |
|
20 | Benedetto Intrigila |
The Basic Decision Problem in lambda-Calculus. |
Math. Log. Q. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Henk Barendregt |
Constructive Proofs of the Range Property in lambda-Calculus. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | G. Jacopini, G. Sontacchi |
General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Gordon D. Plotkin |
Set-Theoretical and Other Elementary Models of the lambda-Calculus. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Leivant |
Functions Over Free Algebras Definable in the Simply Typed lambda Calculus. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001 |
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Michael J. Fischer |
Lambda-Calculus Schemata. |
LISP Symb. Comput. |
1993 |
DBLP BibTeX RDF |
|
20 | Erik Poll, C. Hemerik, Huub M. M. ten Eikelder |
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. |
RAIRO Theor. Informatics Appl. |
1993 |
DBLP DOI BibTeX RDF |
|