Search results for "Lambda-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	John C. Reynolds, Gordon D. Plotkin	On Functors Expressible in the Polymorphic Typed Lambda Calculus	Inf. Comput.	1993	DBLP DOI BibTeX RDF
20	Samson Abramsky, C.-H. Luke Ong	Full Abstraction in the Lazy Lambda Calculus	Inf. Comput.	1993	DBLP DOI BibTeX RDF
20	Jean-Louis Krivine	Lambda-calculus, types and models.		1993	RDF
20	Loe M. G. Feijs	A formalisation of design methods - a lambda-calculus approach to systems design with an application to text editing.		1993	RDF
20	Michael Kohlhase, Frank Pfenning	Unification in a Lambda-Calculus with Intersection Types.	ILPS	1993	DBLP BibTeX RDF
20	Daniel Leivant, Jean-Yves Marion	Lambda calculus characterizations of poly-time.	TLCA	1993	DBLP DOI BibTeX RDF
20	Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson	Database Query Languages Embedded in the Typed Lambda Calculus	LICS	1993	DBLP DOI BibTeX RDF
20	John C. Mitchell, Furio Honsell, Kathleen Fisher	A lambda calculus of objects and method specialization	LICS	1993	DBLP DOI BibTeX RDF
20	Giuseppe Longo, Kathleen Milsted, Sergei Soloviev 0001	The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract)	LICS	1993	DBLP DOI BibTeX RDF
20	Roberto Di Cosmo, Delia Kesner	A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object.	ICALP	1993	DBLP DOI BibTeX RDF
20	Masami Hagiya	A Typed Lambda-Calculus for Proving-by-Example and Bottom-Up Generalization Procedure.	ALT	1993	DBLP DOI BibTeX RDF
20	Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno	Filter Models for a Parallel and Non Deterministic Lambda-Calculus.	MFCS	1993	DBLP DOI BibTeX RDF
20	Andy Mück	A lambda-Calculus with Logical Features.	WLP	1993	DBLP BibTeX RDF
20	Gérard Boudol	The Lambda-Calculus with Multiplicities (Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
20	Andrea Asperti, Cosimo Laneve	Paths, Computations and Labels in the Lambda-Calculus.	RTA	1993	DBLP DOI BibTeX RDF
20	Hassan Aït-Kaci, Jacques Garrigue	Label-Selective lambda-Calculus Syntax and Confluence.	FSTTCS	1993	DBLP DOI BibTeX RDF	record calculus, communication, concurrency, Calculus
20	Fritz Müller 0001	Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
20	Claudia Schmittgen, Harald Blödorn, Werner E. Kluge	pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus.	New Gener. Comput.	1992	DBLP DOI BibTeX RDF
20	György E. Révész	A List-Oriented Extension of the lambda-Calculus Satisfying the Church-Rosser Theorem.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
20	Sachio Hirokawa	Converse Principal Type-Scheme Theorem in Lambda Calculus.	Stud Logica	1992	DBLP DOI BibTeX RDF
20	Gabriel Ciobanu	A Model for a lambda-calculus Extended for Dataflow Computation.	Sci. Ann. Cuza Univ.	1992	DBLP BibTeX RDF
20	Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack	Using Typed Lambda Calculus to Implement Formal Systems on a Machine.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
20	Torben Æ. Mogensen	Efficient Self-Interpretations in lambda Calculus.	J. Funct. Program.	1992	DBLP DOI BibTeX RDF
20	Henk Barendregt	Representing 'undefined' in lambda Calculus.	J. Funct. Program.	1992	DBLP DOI BibTeX RDF
20	Daniel J. Dougherty	Adding Algebraic Rewriting to the Untyped Lambda Calculus	Inf. Comput.	1992	DBLP DOI BibTeX RDF
20	A. J. Kfoury, Jerzy Tiuryn	Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus	Inf. Comput.	1992	DBLP DOI BibTeX RDF
20	Torben Æ. Mogensen	Self-applicable Partial Evaluation for Pure Lambda Calculus.	PEPM	1992	DBLP BibTeX RDF
20	Cosimo Laneve, Ugo Montanari	Axiomatizing Permutation Equivalence in the Lambda-Calculus.	ALP	1992	DBLP DOI BibTeX RDF
20	Davide Sangiorgi	The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract)	LICS	1992	DBLP DOI BibTeX RDF
20	Patrick Lincoln, John C. Mitchell	Operational aspects of linear lambda calculus	LICS	1992	DBLP DOI BibTeX RDF
20	Carlos Loría-Sáenz, Joachim Steinbach	Termination of Combined (Rewrite and lambda-Calculus) Systems.	CTRS	1992	DBLP DOI BibTeX RDF
20	Yves Bertot	Origin Functions in Lambda-Calculus and Term Rewriting Systems.	CAAP	1992	DBLP DOI BibTeX RDF
20	Ugo de'Liguoro, Adolfo Piperno	Must Preorder in Non-Deterministic Untyped Lambda-Calculus.	CAAP	1992	DBLP DOI BibTeX RDF
20	P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland	Linear Lambda-Calculus and Categorial Models Revisited.	CSL	1992	DBLP DOI BibTeX RDF
20	Bart Jacobs 0001	Semantics of the Second Order Lambda Calculus.	Math. Struct. Comput. Sci.	1991	DBLP DOI BibTeX RDF
20	Frank Pfenning, Peter Lee 0001	Metacircularity in the Polymorphic lambda-Calculus.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
20	Mohamed Mezghiche	Weak Completeness of Type Assignment in lambda-Calculus Models: A Generalization of Hindley's Result.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
20	George Koletsos	Polymorphic Lambda Calculus: The Church-Rosser Property.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
20	Nax Paul Mendler	Inductive Types and Type Constraints in the Second-Order lambda Calculus.	Ann. Pure Appl. Log.	1991	DBLP DOI BibTeX RDF
20	John C. Mitchell, Eugenio Moggi	Kripke-Style Models for Typed lambda Calculus.	Ann. Pure Appl. Log.	1991	DBLP DOI BibTeX RDF
20	Erik Barendsen	An Unsolvable Numeral System in lambda Calculus.	J. Funct. Program.	1991	DBLP DOI BibTeX RDF
20	Carsten K. Gomard, Neil D. Jones	A Partial Evaluator for the Untyped lambda-Calculus.	J. Funct. Program.	1991	DBLP DOI BibTeX RDF
20	Henk Barendregt	Self-Interpretations in lambda Calculus.	J. Funct. Program.	1991	DBLP DOI BibTeX RDF
20	N. G. de Bruijn	Telescopic Mappings in Typed Lambda Calculus	Inf. Comput.	1991	DBLP DOI BibTeX RDF
20	Corrado Böhm, Enrico Tronci	About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus	Inf. Comput.	1991	DBLP DOI BibTeX RDF
20	Gudmund Skovbjerg Frandsen, Carl Sturtivant	What is an Efficient Implementation of the \lambda-calculus?	FPCA	1991	DBLP DOI BibTeX RDF
20	Spiro Michaylov, Frank Pfenning	Compiling the Polymorphic Lambda-Calculus.	PEPM	1991	DBLP DOI BibTeX RDF
20	Ulrich Berger 0001, Helmut Schwichtenberg	An Inverse of the Evaluation Functional for Typed lambda-calculus	LICS	1991	DBLP DOI BibTeX RDF
20	Pasquale Malacaria, Laurent Regnier	Some Results on the Interpretation of lambda-calculus in Operator Algebras	LICS	1991	DBLP DOI BibTeX RDF
20	Enrico Tronci	Equational Prgoramming in lambda-calculus	LICS	1991	DBLP DOI BibTeX RDF
20	Erik Crank, Matthias Felleisen	Parameter-Passing and the Lambda Calculus.	POPL	1991	DBLP DOI BibTeX RDF
20	Nick Rothwell	Functional Compilation from the Standard ML Core Language to Lambda Calculus.	Functional Programming	1991	DBLP DOI BibTeX RDF
20	John Hannan	Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages.	ELP	1991	DBLP DOI BibTeX RDF
20	Djamil Sarni	Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart.	J. Inf. Process. Cybern.	1990	DBLP BibTeX RDF
20	Hanne Riis Nielson, Flemming Nielson	Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
20	Adolfo Piperno, Enrico Tronci	Regular Systems in lambda-Calculus.	Int. J. Found. Comput. Sci.	1990	DBLP DOI BibTeX RDF
20	Kim B. Bruce, Albert R. Meyer, John C. Mitchell	The Semantics of Second-Order Lambda Calculus	Inf. Comput.	1990	DBLP DOI BibTeX RDF
20	Bard Bloom	Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus	Inf. Comput.	1990	DBLP DOI BibTeX RDF
20	Hendrik Pieter Barendregt	Functional Programming and Lambda Calculus.	Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)	1990	DBLP DOI BibTeX RDF
20	A. J. Kfoury, Jerzy Tiuryn	Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary)	LICS	1990	DBLP DOI BibTeX RDF
20	Juan C. Guzmán, Paul Hudak	Single-Threaded Polymorphic Lambda Calculus	LICS	1990	DBLP DOI BibTeX RDF
20	John Lamping	An Algorithm for Optimal Lambda Calculus Reduction.	POPL	1990	DBLP DOI BibTeX RDF
20	John Field, Tim Teitelbaum	Incremental Reduction in the lambda Calculus.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
20	Michel Parigot	Internal Labellings in Lambda-Calculus.	MFCS	1990	DBLP DOI BibTeX RDF
20	Amy P. Felty, Dale Miller 0001	Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language.	CADE	1990	DBLP DOI BibTeX RDF
20	Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen	A Self-Applicable Partial Evaluator for the Lambda Calculus.	ICCL	1990	DBLP DOI BibTeX RDF
20	Vinod Kathail	Optimal interpreters for lambda-calculus based functional languages.		1990	RDF
20	Ramón Pino Pérez	Decidability of the Restriction Equational Theory in the Partial Lambda Calculus.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
20	Masako Takahashi	Parallel Reductions in lambda-Calculus.	J. Symb. Comput.	1989	DBLP DOI BibTeX RDF
20	Jan Willem Klop, Roel C. de Vrijer	Unique Normal Forms for Lambda Calculus with Surjective Pairing	Inf. Comput.	1989	DBLP DOI BibTeX RDF
20	Greg J. Michaelson	An introduction to functional programming through lambda calculus.		1989	RDF
20	Roel C. de Vrijer	Extending the Lambda Calculus with Surjective Pairing is Conservative	LICS	1989	DBLP DOI BibTeX RDF
20	Eugenio Moggi	Computational Lambda-Calculus and Monads	LICS	1989	DBLP DOI BibTeX RDF
20	Gérard Boudol	Towards a Lambda-Calculus for Concurrent and Communicating Systems.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
20	Pascal Fradet, Daniel Le Métayer	Compilation of Lambda-Calculus into Functional Machine Code.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
20	Marek Zaionc	How to Define Functionals of Free Structures in Typed Lambda Calculus.	MFCS	1989	DBLP DOI BibTeX RDF
20	Flemming Nielson	The Typed lambda-Calculus with First-Class Processes.	PARLE (2)	1989	DBLP DOI BibTeX RDF
20	Bart Jacobs 0001	On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa.	Category Theory and Computer Science	1989	DBLP DOI BibTeX RDF
20	Prateek Mishra	Strictness Analysis of the Untyped lambda-Calculus.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
20	Marek Zaionc	Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus.	J. Autom. Reason.	1988	DBLP DOI BibTeX RDF
20	Hanne Riis Nielson, Flemming Nielson	Automatic Binding Time Analysis for a Typed lambda-Calculus.	Sci. Comput. Program.	1988	DBLP DOI BibTeX RDF
20	Wil Dekkers	Reducibility of Types in Typed Lambda Calculus: Comment on a Paper by Richard Statman	Inf. Comput.	1988	DBLP DOI BibTeX RDF
20	György E. Révész	Lambda-calculus, combinators, and functional programming.		1988	RDF
20	Bard Bloom	Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report)	LICS	1988	DBLP DOI BibTeX RDF
20	Peter J. Freyd, Jean-Yves Girard 0001, Andre Scedrov, Philip J. Scott	Semantic Parametricity in Polymorphic Lambda Calculus	LICS	1988	DBLP DOI BibTeX RDF
20	Roberto M. Amadio	A fixed point extension of the second order lambda-calculus: observable equivalences and models	LICS	1988	DBLP DOI BibTeX RDF
20	Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski	A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.	VDM Europe	1988	DBLP DOI BibTeX RDF
20	Hanne Riis Nielson, Flemming Nielson	Automatic Binding Time Analysis for a Typed Lambda-Calculus.	POPL	1988	DBLP DOI BibTeX RDF
20	Robert A. G. Seely	Categorical Semantics for Higher Order Polymorphic Lambda Calculus.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
20	Luis E. Sanchis	Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
20	Marek Zaionc	Word Operation Definable in the Typed lambda-Calculus.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
20	Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep	Needed Reduction and Spine Strategies for the Lambda Calculus	Inf. Comput.	1987	DBLP DOI BibTeX RDF
20	John C. Mitchell, Eugenio Moggi	Kripke-Style models for typed lambda calculus	LICS	1987	DBLP BibTeX RDF
20	Nax Paul Mendler	Recursive Types and Type Constraints in Second-Order Lambda Calculus	LICS	1987	DBLP BibTeX RDF
20	Corrado Böhm, Enrico Tronci	X-Separability and Left-Invertibility in lambda-calculus	LICS	1987	DBLP BibTeX RDF
20	Peter J. Freyd, Andre Scedrov	Some Semantic Aspects of Polymorphic Lambda Calculus	LICS	1987	DBLP BibTeX RDF
20	N. Girard	An Interactive, Incremental and Portable Computer Algebra System for Lambda-Calculus and Combinatory Logic Based on Video Edition and Rewriting Techniques.	STACS	1987	DBLP DOI BibTeX RDF
20	Stanley Letovsky	Program Understanding with the Lambda Calculus.	IJCAI	1987	DBLP BibTeX RDF
20	Simone Martini 0001	An Interval Model for Second-Order Lambda Calculus.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF
20	Tatsuya Hagino	A Typed Lambda Calculus with Categorical Type Constructors.	Category Theory and Computer Science	1987	DBLP DOI BibTeX RDF