Search results for "Lambda-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Vijay Gehlot, Y. N. Srikant	An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus.	Comput. Lang.	1986	DBLP DOI BibTeX RDF
20	Hirofumi Yokouchi	Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models	Inf. Control.	1986	DBLP DOI BibTeX RDF
20	J. Roger Hindley, Jonathan P. Seldin	Introduction to Combinators and Lambda-Calculus.		1986	RDF
20	Erik Meijer 0001	Petri net models for the lambda-calculus.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
20	Jirí Zlatuska	Data Bases and the Lambda-Calculus.	IFIP Congress	1986	DBLP BibTeX RDF
20	Klaus J. Berkling	Head order reduction: A graph reduction scheme for the operational lambda calculus.	Graph Reduction	1986	DBLP DOI BibTeX RDF
20	Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo	The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations	LICS	1986	DBLP BibTeX RDF
20	Paul Watson 0001	The parallel reduction of lambda calculus expressions.		1986	RDF
20	Susumu Hayashi	Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
20	Martin W. Bunder	An Extension of Klop's Counterexample to the Church-Rosser Property to lambda-Calculus with other Ordered Pair Combinators.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
20	Richard Statman	Logical Relations and the Typed lambda-Calculus	Inf. Control.	1985	DBLP DOI BibTeX RDF
20	Hendrik Pieter Barendregt	The lambda calculus - its syntax and semantics.		1985	RDF
20	Gérard P. Huet	Cartesian closed Categories and Lambda- calculus.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
20	Michael Karr	"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
20	Marek Zaionc	The Set of Unifiers in Typed Lambda-Calculus as Regular Expression.	RTA	1985	DBLP DOI BibTeX RDF
20	Val Breazu-Tannen, Albert R. Meyer	Lambda Calculus with Constrained Types (Extended Abstract).	Logic of Programs	1985	DBLP DOI BibTeX RDF
20	Irina Bercovici	Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators (Extended Abstract).	Logic of Programs	1985	DBLP DOI BibTeX RDF
20	György E. Révész	An Extension of Lambda-Calculus for Functional Programming.	J. Log. Program.	1984	DBLP DOI BibTeX RDF
20	J. Barkley Rosser	Highlights of the History of the Lambda-Calculus.	IEEE Ann. Hist. Comput.	1984	DBLP DOI BibTeX RDF
20	Marisa Venturini Zilli	Reduction Graphs in the Lambda Calculus.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
20	Clement A. Baker-Finch	Algebraic, Operational and Denotational Semantics of the Lambda Calculus.	Aust. Comput. J.	1984	DBLP BibTeX RDF
20	Paola Giannini, Giuseppe Longo	Effectively Given Domains and Lambda-Calculus Models	Inf. Control.	1984	DBLP DOI BibTeX RDF
20	Christiaan Peter Jozef Koymans	Models of the Lambda Calculus.		1984	RDF
20	John C. Mitchell	Semantic Models for Second-Order Lambda Calculus	FOCS	1984	DBLP DOI BibTeX RDF
20	Axel Poigné	Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus.	STACS	1984	DBLP DOI BibTeX RDF
20	A. Kanda	Numeration Models of Lambda-Calculus.	CAAP	1984	DBLP BibTeX RDF
20	Kim B. Bruce, Albert R. Meyer	The Semantics of Second Order Polymorphic Lambda Calculus.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
20	John C. Mitchell	Lambda calculus models of typed programming languages.		1984	RDF
20	Jon Fairbairn	Design and implementation of a simple typed language based on the lambda-calculus.		1984	RDF
20	Robert E. Byerly	Recursion Theory and the Lambda-Calculus.	J. Symb. Log.	1982	DBLP DOI BibTeX RDF
20	Jan A. Bergstra, Jan Willem Klop	Strong Normalization and Perpetual Reductions in the Lambda Calculus.	J. Inf. Process. Cybern.	1982	DBLP BibTeX RDF
20	Christiaan Peter Jozef Koymans	Models of the Lambda Calculus	Inf. Control.	1982	DBLP DOI BibTeX RDF
20	Albert R. Meyer	What is a Model of the Lambda Calculus?	Inf. Control.	1982	DBLP DOI BibTeX RDF
20	Klaus J. Berkling, Elfriede Fehr	A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages	Inf. Control.	1982	DBLP DOI BibTeX RDF
20	Klaus J. Berkling, Elfriede Fehr	A Modification of the Lambda-Calculus as a Base for Functional Programming Languages.	ICALP	1982	DBLP DOI BibTeX RDF
20	Richard Statman	On the Existence of Closed Terms in the Typed lambda Calculus II: Transformations of Unification Problems.	Theor. Comput. Sci.	1981	DBLP DOI BibTeX RDF
20	Luigia Carlucci Aiello, Gianfranco Prini	An Efficient Interpreter for the Lambda-Calculus.	J. Comput. Syst. Sci.	1981	DBLP DOI BibTeX RDF
20	Simona Ronchi Della Rocca	Discriminability of Infinite Sets of Terms in the Dinfinity-Models of the lambda-calculus.	CAAP	1981	DBLP DOI BibTeX RDF
20	Corrado Böhm, Silvio Micali	Minimal Forms in lambda-Calculus Computations.	J. Symb. Log.	1980	DBLP DOI BibTeX RDF
20	R. Hindley, G. Longo	Lambda-Calculus Models and Extensionality.	Math. Log. Q.	1980	DBLP DOI BibTeX RDF
20	Matthew Hennessy, Edward A. Ashcroft	A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus.	Theor. Comput. Sci.	1980	DBLP DOI BibTeX RDF
20	Jan A. Bergstra, Jan Willem Klop	Invertible Terms in the Lambda Calculus.	Theor. Comput. Sci.	1980	DBLP DOI BibTeX RDF
20	Rob Nederpelt	An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus.	CADE	1980	DBLP DOI BibTeX RDF
20	Jan A. Bergstra, Jan Willem Klop	Church-Rosser Strategies in the Lambda Calculus.	Theor. Comput. Sci.	1979	DBLP DOI BibTeX RDF
20	Richard Statman	The Typed lambda-Calculus is not Elementary Recursive.	Theor. Comput. Sci.	1979	DBLP DOI BibTeX RDF
20	Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé	Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.	ICALP	1979	DBLP DOI BibTeX RDF
20	Gérard Berry, Jean-Jacques Lévy	A Survey of Some Syntactic Results in the lambda-Calculus.	MFCS	1979	DBLP DOI BibTeX RDF
20	Christopher P. Wadsworth	Approximate Reduction and Lambda Calculus Models.	SIAM J. Comput.	1978	DBLP DOI BibTeX RDF
20	Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca	(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.	ICALP	1978	DBLP DOI BibTeX RDF
20	John Staples	A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction is Optimal.	Graph-Grammars and Their Application to Computer Science and Biology	1978	DBLP DOI BibTeX RDF
20	Richard Statman	The Typed lambda-Calculus Is not Elementary Recursive	FOCS	1977	DBLP DOI BibTeX RDF
20	Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini	Termination Tests inside lambda-Calculus.	ICALP	1977	DBLP DOI BibTeX RDF
20	Bruce Lercher	Lambda-calculus terms that reduce to themselves.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
20	Henk Barendregt	A Global Representation of the Recursive Functions in the lambda -Calculus.	Theor. Comput. Sci.	1976	DBLP DOI BibTeX RDF
20	S. Kamal Abdali	A Lambda-Calculus Model of Programming Languages - I. Simple Constructs.	Comput. Lang.	1976	DBLP DOI BibTeX RDF
20	S. Kamal Abdali	A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures.	Comput. Lang.	1976	DBLP DOI BibTeX RDF
20	Christopher P. Wadsworth	The Relation Between Computational and Denotational Properties for Scott's Dinfty-Models of the Lambda-Calculus.	SIAM J. Comput.	1976	DBLP DOI BibTeX RDF
20	Gordon D. Plotkin	Call-by-Name, Call-by-Value and the lambda-Calculus.	Theor. Comput. Sci.	1975	DBLP DOI BibTeX RDF
20	Gérard P. Huet	A Unification Algorithm for Typed lambda-Calculus.	Theor. Comput. Sci.	1975	DBLP DOI BibTeX RDF
20	Gordon D. Plotkin	The lambda-Calculus is omega-Incomplete.	J. Symb. Log.	1974	DBLP DOI BibTeX RDF
20	Peter H. Welch	The minimal continuous semantics of the lambda-calculus.		1974	RDF
20	Arthur Evans Jr.	The lambda calculus and its relation to programming languages.	ACM Annual Conference (2)	1972	DBLP DOI BibTeX RDF
20	Burt M. Leavenworth, John M. Wozencraft	Formal definition of programming languages (Panel Session): "The lambda calculus approach".	ACM Annual Conference (2)	1972	DBLP DOI BibTeX RDF
20	Clement McGowan	The Contour Model Lambda Calculus Machine.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
20	Michael J. Fischer	Lambda calculus schemata.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF
20	Clement McGowan	Correctness Results For Lambda Calculus Interpreters.		1970	RDF
20	Barak A. Pearlmutter, Jeffrey Mark Siskind	Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	forward-mode AD, higher-order AD, higher-order functional languages, program transformation, reflection, Closures, derivatives, Jacobian
20	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
20	Vincent Atassi, Patrick Baillot, Kazushige Terui	Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic.	CSL	2006	DBLP DOI BibTeX RDF
20	Wojciech Moczydlowski	Normalization of IZF with Replacement.	CSL	2006	DBLP DOI BibTeX RDF
20	Damiano Zanardini	Higher-Order Abstract Non-interference.	TLCA	2005	DBLP DOI BibTeX RDF
20	Paolo Coppola 0001, Simona Ronchi Della Rocca	Principal Typing in Elementary Affine Logic.	TLCA	2003	DBLP DOI BibTeX RDF
20	Steffen Schott, Markus L. Noga	Lazy XSL transformations.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF
20	Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types.	LICS	2002	DBLP DOI BibTeX RDF
20	Matthias Neubauer, Peter Thiemann 0001	Type classes with more higher-order polymorphism.	ICFP	2002	DBLP DOI BibTeX RDF	higher-order unification, Haskell, type inference, type classes
20	Harry G. Mairson, Xavier Rival	Proofnets and Context Semantics for the Additives.	CSL	2002	DBLP DOI BibTeX RDF
20	Pietro Di Gianantonio, Gianluca Franco	The Fine Structure of Game Lambda Models.	FSTTCS	2000	DBLP DOI BibTeX RDF
20	Pietro Di Gianantonio, Gianluca Franco, Furio Honsell	Game Semantics for Untyped lambda beta eta-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
20	Qiao Haiyan	Formalising Formulas-as-Types-as-Objects.	TYPES	1999	DBLP DOI BibTeX RDF
20	Atsushi Igarashi, Benjamin C. Pierce	Foundations for Virtual Types.	ECOOP	1999	DBLP DOI BibTeX RDF
20	Andrea Asperti	Optimal Reduction of Functional Expressions.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
20	Roberto Di Cosmo	On the Power of Simple Diagrams.	RTA	1996	DBLP DOI BibTeX RDF
20	Jan Kuper	Proving the Genericity Lemma by Leftmost Reduction is Simple.	RTA	1995	DBLP DOI BibTeX RDF
20	Roberto Di Cosmo, Delia Kesner	Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi.	ICALP	1994	DBLP DOI BibTeX RDF
20	Choun Tong Lieu, Djamil Sarni	O.LISP: theoretical basis and description.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	LISP
20	John W. Gray	Initial Algebra Semantics for Lambda Calculi.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
16	Max Schäfer, Torbjörn Ekman 0001, Oege de Moor	Formalising and Verifying Reference Attribute Grammars in Coq.	ESOP	2009	DBLP DOI BibTeX RDF
16	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
16	Marc de Falco	The Geometry of Interaction of Differential Interaction Nets.	LICS	2008	DBLP DOI BibTeX RDF	differential interaction nets, differential linear logic, sharing graphs, linear logic, geometry of interaction
16	Adam Chlipala	Parametric higher-order abstract syntax for mechanized semantics.	ICFP	2008	DBLP DOI BibTeX RDF	type-theoretic semantics, dependent types, compiler verification, interactive proof assistants
16	Frédéric Lang	Explaining the lazy Krivine machine using explicit substitution and addresses.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Call-by-need, Functional programming, Lazy evaluation, Abstract machine
16	Ludovic Henrio, Florian Kammüller	A Mechanized Model of the Theory of Objects.	FMOODS	2007	DBLP DOI BibTeX RDF
16	Delia Kesner	The Theory of Calculi with Explicit Substitutions Revisited.	CSL	2007	DBLP DOI BibTeX RDF
16	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	The Power of Linear Functions.	CSL	2006	DBLP DOI BibTeX RDF
16	Stephen Tse, Steve Zdancewic	A Design for a Security-Typed Language with Certificate-Based Declassification.	ESOP	2005	DBLP DOI BibTeX RDF
16	Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins	Monadic concurrent linear logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	committed choice concurrency, operational semantics, linear logic
16	Gérard Boudol	On Strong Normalization in the Intersection Type Discipline.	TLCA	2003	DBLP DOI BibTeX RDF
16	Tom Hirschowitz, Xavier Leroy	Mixin Modules in a Call-by-Value Setting.	ESOP	2002	DBLP DOI BibTeX RDF
16	Mitchell Wand, Galen B. Williamson	A Modular, Extensible Proof Method for Small-Step Flow Analyses.	ESOP	2002	DBLP DOI BibTeX RDF
16	Robert Bruce Findler, Matthias Felleisen	Contracts for higher-order functions.	ICFP	2002	DBLP DOI BibTeX RDF	predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions