Search results for "Lambda-calculus"

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