Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Murdoch James Gabbay, Dominic P. Mulligan |
Two-level Lambda-calculus. |
WFLP |
2008 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel, Manfred Schmidt-Schauß |
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations. |
Math. Struct. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
Lambda calculus with patterns. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Dal Lago, Simone Martini 0001 |
The weak lambda calculus as a reasonable machine. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Viviana Bono, Betti Venneri, Lorenzo Bettini |
A typed lambda calculus with intersection types. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Peter Selinger |
Lecture notes on the lambda calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Peter Selinger, Benoît Valiron |
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Stéphane Lengrand |
Termination of lambda-calculus with the extra Call-By-Value rule known as assoc |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Neil D. Jones, Nina Bohr |
Call-by-value Termination in the Untyped Lambda-calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Fritz Müller 0001 |
Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Zhaohua Luo |
Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
20 | Neil D. Jones, Nina Bohr |
Call-by-Value Termination in the Untyped lambda-Calculus. |
Log. Methods Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. |
Log. Methods Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus. |
Log. Methods Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | J. Roger Hindley |
M. H. Newman's Typability Algorithm for Lambda-calculus. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Chris Fox, Maribel Fernández, Shalom Lappin |
Lambda Calculus, Type Theory, and Natural Language II. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel |
Semantics of a call-by-need lambda calculus with McCarthy's amb for programm equivalence. |
|
2008 |
RDF |
|
20 | Ralph Matthes |
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Daisuke Bekki |
Monads and Meta-lambda Calculus. |
JSAI |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
RPO, Second-Order Contexts, and lambda-Calculus. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Marco Gaboardi, Simona Ronchi Della Rocca |
Type Inference for a Polynomial Lambda Calculus. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Chitta Baral, Juraj Dzifcak, Tran Cao Son |
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
20 | David Sabel |
Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy's amb für Programmäquivalenz [Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence]. |
Ausgezeichnete Informatikdissertationen |
2008 |
DBLP BibTeX RDF |
|
20 | Pablo Arrighi, Gilles Dowek |
Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Giulio Manzonetto |
Models and theories of lambda calculus. |
|
2008 |
RDF |
|
20 | Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer |
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Marie-Renée Fleury, Myriam Quatrini |
A Mixed lambda-calculus. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization |
20 | André Hirschowitz, Marco Maggesi |
The algebraicity of the lambda-calculus |
CoRR |
2007 |
DBLP BibTeX RDF |
|
20 | Zhaohua Luo |
Clones and Genoids in Lambda Calculus and First Order Logic |
CoRR |
2007 |
DBLP BibTeX RDF |
|
20 | Mateusz Zakrzewski |
Definable functions in the simply typed lambda-calculus |
CoRR |
2007 |
DBLP BibTeX RDF |
|
20 | Roy Dyckhoff, Stéphane Lengrand |
Call-by-Value lambda-calculus and LJQ. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Pierluigi Minari |
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05 |
20 | Delia Kesner, Stéphane Lengrand |
Resource operators for lambda-calculus. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
20 | René David, Karim Nour |
An Arithmetical Proof of the Strong Normalization for the lambda -Calculus with Recursive Equations on Types. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Chet Murthy |
Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
transaction processing, functional languages, enterprise software |
20 | Mitsuhiro Okada, Ryo Takemura |
Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Werner E. Kluge |
Abstract lambda-Calculus Machines. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Marco Gaboardi, Simona Ronchi Della Rocca |
A Soft Type Assignment System for lambda -Calculus. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya |
An AOP Extended Lambda-Calculus. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yuk Wah Wong, Raymond J. Mooney |
Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus. |
ACL |
2007 |
DBLP BibTeX RDF |
|
20 | Andreas Abel 0001 |
Type-based termination: a polymorphic lambda-calculus with sized higher-order types. |
|
2007 |
RDF |
|
20 | Nikolaos Siafakas |
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. |
DCM@ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Donnelly, Hongwei Xi |
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F. |
LFMTP@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Peter Selinger, Benoît Valiron |
A lambda calculus for quantum computation with classical control. |
Math. Struct. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Chantal Berline |
Graph models of lambda-calculus at work, and variations. |
Math. Struct. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Lutz Schröder |
The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Joachim Niehren, Jan Schwinghammer, Gert Smolka |
A concurrent lambda calculus with futures. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Baillot, Marco Pedicini |
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus |
CoRR |
2006 |
DBLP BibTeX RDF |
|
20 | Pablo Arrighi, Gilles Dowek |
Lineal: A linear-algebraic Lambda-calculus. |
CoRR |
2006 |
DBLP BibTeX RDF |
|
20 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the confluence of lambda-calculus with conditional rewriting |
CoRR |
2006 |
DBLP BibTeX RDF |
|
20 | Kristian Støvring |
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. |
Log. Methods Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Michael Norrish |
Mechanising lambda-calculus using a classical first order theory of terms with permutations. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | John Tromp |
Binary Lambda Calculus and Combinatory Logic. |
Kolmogorov Complexity and Applications |
2006 |
DBLP BibTeX RDF |
|
20 | Frédéric Blanqui, Claude Kirchner, Colin Riba |
On the Confluence of lambda-Calculus with Conditional Rewriting. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Naokata Shikuma, Atsushi Igarashi |
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Sylvain Salvati |
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda-Calculus. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ariel Arbiser, Alexandre Miquel, Alejandro Ríos 0001 |
A Lambda-Calculus with Constructors. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Coppola 0001, Simona Ronchi Della Rocca |
Principal Typing for Lambda Calculus in Elementary Affine Logic. |
Fundam. Informaticae |
2005 |
DBLP BibTeX RDF |
|
20 | Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen |
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Hongwei Xi |
Development Separation in Lambda-Calculus. |
WoLLIC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Maribel Fernández, Ian Mackie, François-Régis Sinot |
Lambda-Calculus with Director Strings. |
Appl. Algebra Eng. Commun. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Director Strings, Strategies, Calculus, Explicit Substitutions |
20 | Sandra Alves, Mário Florido |
Weak linearization of the lambda calculus. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Dal Lago, Simone Martini 0001 |
An Invariant Cost Model for the Lambda Calculus |
CoRR |
2005 |
DBLP BibTeX RDF |
|
20 | Benedetto Intrigila, Richard Statman |
Some results on extensionality in lambda calculus. |
Ann. Pure Appl. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Klaus Aehlig, Felix Joachimski |
Continuous normalization for the lambda-calculus and Gödel's. |
Ann. Pure Appl. Log. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic /lambda-calculus and Quantitative Program Analysis. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | René David, Georges Mounier |
An intuitionistic [lambda]-calculus with exceptions. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Werner E. Kluge |
Abstract Computing Machines - A Lambda Calculus Perspective |
|
2005 |
DOI RDF |
|
20 | Ian Mackie |
Encoding Strategies in the Lambda Calculus with Interaction Nets. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Hyvernat |
Synchronous games, simulations and lambda-calculus. |
GALOP@ETAPS |
2005 |
DBLP BibTeX RDF |
|
20 | Thierry Coquand |
Completeness Theorems and lambda-Calculus. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Paul Taylor 0002 |
A Lambda Calculus for Real Analysis. |
CCA |
2005 |
DBLP BibTeX RDF |
|
20 | Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget |
Sharing in the Weak Lambda-Calculus. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Lars Kristiansen, Mathias Barra |
The Small Grzegorczyk Classes and the Typed lambda-Calculus. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Mann 0001 |
A non-deterministic call-by-need lambda calculus: proving similarity a precongruence by an extension of Howe's method to sharing. |
|
2005 |
RDF |
|
20 | Chris Hankin, Herbert Wiklicky |
lambda-calculus and Quantitative Program Analysis: (Extended Abstract). |
QAPL |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Abel 0001 |
Normalization for the Simply-Typed Lambda-Calculus in Twelf. |
LFM@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Daniel de Carvalho |
Intersection Types for Light Affine Lambda Calculus. |
ITRS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Mann 0001 |
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus. |
SOS@CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Felix Joachimski |
Confluence of the coinductive [lambda]-calculus. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Baillot, Kazushige Terui |
Light types for polynomial time computation in lambda-calculus |
CoRR |
2004 |
DBLP BibTeX RDF |
|
20 | Marco Pedicini, Francesco Quaglia |
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction |
CoRR |
2004 |
DBLP BibTeX RDF |
|
20 | Harry G. Mairson |
Linear lambda calculus and PTIME-completeness. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Mário Florido, Luís Damas |
Linearization of the lambda-calculus and its relation with intersection type systems. |
J. Funct. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Luca Paolini, Simona Ronchi Della Rocca |
Parametric parameter passing Lambda-calculus. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | André van Tonder |
A Lambda Calculus for Quantum Computation. |
SIAM J. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Simona Ronchi Della Rocca, Luca Paolini |
The Parametric Lambda Calculus - A Metamodel for Computation |
|
2004 |
DOI RDF |
|
20 | Tom Murphy VII, Karl Crary, Robert Harper 0001, Frank Pfenning |
A Symmetric Modal Lambda Calculus for Distributed Computing. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Robert Atkey |
A lambda-Calculus for Resource Separation. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
20 | James Larkin, Phil Stocks |
Self-Replicating Expressions in the Lambda Calculus. |
ACSC |
2004 |
DBLP BibTeX RDF |
|
20 | Philippe de Groote, Sylvain Salvati |
Higher-Order Matching in the Linear lambda-calculus with Pairing. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Lutz Schröder |
The Logic of the Partial lambda-Calculus with Equality. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Momigliano, Frank Pfenning |
Higher-order pattern complement and the strict lambda-calculus. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
higher-order patterns, strict ?-calculus, Complement |
20 | Thomas Ehrhard, Laurent Regnier |
The differential lambda-calculus. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries |
Infinitary lambda calculus and discrimination of Berarducci trees. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | André van Tonder |
A Lambda Calculus for Quantum Computation |
CoRR |
2003 |
DBLP BibTeX RDF |
|
20 | Patrick Baillot, Virgile Mogbil |
Soft lambda-calculus: a language for polynomial time computation |
CoRR |
2003 |
DBLP BibTeX RDF |
|