Search results for "Lambda-calculus"

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