Search results for "Lambda-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Felix Joachimski, Ralph Matthes	Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
20	Silvio Valentini, Matteo Viale	A binary modal logic for the intersection types of lambda-calculus.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
20	Sergei Soloviev 0001, David Chemouil	Some Algebraic Structures in Lambda-Calculus with Inductive Types.	TYPES	2003	DBLP DOI BibTeX RDF
20	Simona Ronchi Della Rocca	Intersection Typed lambda-calculus.	ITRS	2002	DBLP DOI BibTeX RDF
20	Silvia Ghilezan, Silvia Likavec	Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types.	ITRS	2002	DBLP DOI BibTeX RDF
20	Sylvain Lippi	Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus.	TERMGRAPH	2002	DBLP DOI BibTeX RDF
20	Sylvain Lippi	Encoding Left Reduction in the Lambda-Calculus with Interaction Nets.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
20	Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong	Innocent game models of untyped lambda-calculus.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
20	Adrian Fiech, David A. Schmidt	Polymorphic lambda calculus and subtyping.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
20	Klaus Aehlig, Jan Johannsen	An Elementary Fragment of Second-Order Lambda Calculus	CoRR	2002	DBLP BibTeX RDF
20	Zena M. Ariola, Stefan Blom	Skew confluence and the lambda calculus with letrec.	Ann. Pure Appl. Log.	2002	DBLP DOI BibTeX RDF
20	Catarina Coquand	A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions.	High. Order Symb. Comput.	2002	DBLP DOI BibTeX RDF
20	Peter Selinger	The lambda calculus is algebraic.	J. Funct. Program.	2002	DBLP DOI BibTeX RDF
20	Gérard Boudol, Pascal Zimmer	Recursion in the call-by-value lambda-calculus.	FICS	2002	DBLP BibTeX RDF
20	Antonino Salibra	Nonmodularity Results for Lambda Calculus.	Fundam. Informaticae	2001	DBLP BibTeX RDF
20	Antonino Salibra	Towards Lambda Calculus Order-Incompleteness.	BOTH	2001	DBLP DOI BibTeX RDF
20	Peter Sestoft	Demonstrating Lambda Calculus Reduction.	MFPS	2001	DBLP DOI BibTeX RDF
20	Shinya Sato, Toru Sugimoto, Shinichi Yamada	An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine.	WFLP	2001	DBLP DOI BibTeX RDF
20	Arnold Beckmann	Exact Bounds for Lengths of Reductions in Typed lambda-Calculus.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
20	Eduardo Bonelli	Perpetuality in a named lambda calculus with explicit substitutions.	Math. Struct. Comput. Sci.	2001	DBLP BibTeX RDF
20	René David, Bruno Guillaume	A lambda-calculus with explicit weakening and explicit substitution.	Math. Struct. Comput. Sci.	2001	DBLP BibTeX RDF
20	Rainer Kerth	On the construction of stable models of untyped lambda-calculus.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
20	Marino Miculan	Developing (Meta)Theory of Lambda-calculus in the Theory of Context.	MERLIN	2001	DBLP DOI BibTeX RDF
20	Thierry Joly	Constant time parallel computations in lambda-calculus.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
20	Athanassios Tzouvaras	Objects and their lambda calculus.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
20	Silvia Ghilezan	Full Intersection Types and Topologies in Lambda Calculus.	J. Comput. Syst. Sci.	2001	DBLP DOI BibTeX RDF
20	Alberto Momigliano, Frank Pfenning	Higher-Order Pattern Complement and the Strict Lambda-Calculus	CoRR	2001	DBLP BibTeX RDF
20	Fairouz Kamareddine	Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems.	J. Log. Comput.	2001	DBLP DOI BibTeX RDF
20	Jean-Louis Krivine	Typed lambda-calculus in classical Zermelo-Frænkel set theory.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03E40, 03B40, 68N18
20	Allan Ramsay	Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application.	Log. J. IGPL	2001	DBLP DOI BibTeX RDF
20	Torben Æ. Mogensen	An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
20	Jesse Alt, Sergei N. Artëmov	Reflective lambda-Calculus.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF
20	Pietro Di Gianantonio	Game Semantics for the Pure Lazy lambda-calculus.	TLCA	2001	DBLP DOI BibTeX RDF
20	Andrzej Filinski	Normalization by Evaluation for the Computational Lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
20	Thierry Joly	The Finitely Generated Types of the lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
20	Jorge Sousa Pinto	Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction.	TLCA	2001	DBLP DOI BibTeX RDF
20	Thorsten Altenkirch, Thierry Coquand	A Finitary Subsystem of the Polymorphic lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
20	Antonino Salibra	A Continuum of Theories of Lambda Calculus without Semantics.	LICS	2001	DBLP DOI BibTeX RDF
20	Thorsten Altenkirch, Peter Dybjer, Martin Hofmann 0001, Philip J. Scott	Normalization by Evaluation for Typed Lambda Calculus with Coproducts.	LICS	2001	DBLP DOI BibTeX RDF
20	Masahito Hasegawa	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.	APLAS	2001	DBLP BibTeX RDF
20	Marcello M. Bonsangue, Joost N. Kok	Infinite Intersection and Union Types for the Lazy Lambda Calculus.	TACS	2001	DBLP BibTeX RDF
20	René Vestergaard, James Brotherston	A Formalised First-Order Confluence Proof for the lambda-Calculus Using One-Sorted Variable Names.	RTA	2001	DBLP DOI BibTeX RDF
20	Samson Abramsky, Marina Lenisa	Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus.	CSL	2001	DBLP DOI BibTeX RDF
20	Benedetto Intrigila, Anna Rita Laurenzi	Two Problems on Reduction Graphs in Lambda Calculus.	Fundam. Informaticae	2000	DBLP BibTeX RDF
20	Dana S. Scott	Powersets, Fixed Points, and Lambda Calculus.	MFCSIT	2000	DBLP DOI BibTeX RDF
20	Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo	Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.	HOOTS	2000	DBLP DOI BibTeX RDF
20	John Power	Models for the computational lambda-calculus.	MFCSIT	2000	DBLP DOI BibTeX RDF
20	Mayer Goldberg	Gödelization in the lambda calculus.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
20	Healfdene Goguen, Jean Goubault-Larrecq	Sequent combinators: a Hilbert system for the lambda calculus.	Math. Struct. Comput. Sci.	2000	DBLP BibTeX RDF
20	Benedetto Intrigila, E. Biasone	On the number of fixed points of a combinator in lambda calculus.	Math. Struct. Comput. Sci.	2000	DBLP BibTeX RDF
20	Steven Awodey	Topological representation of the lambda-calculus.	Math. Struct. Comput. Sci.	2000	DBLP BibTeX RDF
20	Fangmin Song, YongSen Xu, Yuechen Qian	The self-reduction in lambda calculus.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
20	Antonino Salibra	On the algebraic models of lambda calculus.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
20	Joëlle Despeyroux, Pierre Leleu	Metatheoretic Results for a Modal lambda-Calculus	J. Funct. Log. Program.	2000	DBLP BibTeX RDF
20	Peter W. O'Hearn, John C. Reynolds	From Algol to polymorphic linear lambda-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	local state, linear logic, parametric polymorphism, logical relations
20	Manfred Schmidt-Schauß, Michael Huber	A Lambda-Calculus with letrec, case, constructors and non-determinism	CoRR	2000	DBLP BibTeX RDF
20	Torben Æ. Mogensen	Linear-Time Self-Interpretation of the Pure Lambda Calculus.	High. Order Symb. Comput.	2000	DBLP DOI BibTeX RDF
20	A. J. Kfoury	A linearization of the Lambda-calculus and consequences.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
20	Mayer Goldberg	Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
20	Silvia Ghilezan	Intersection Types and Topologies and Lambda Calculus.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
20	William Ferreira 0001, Matthew Hennessy, Alan Jeffrey	Combining the typed lambda-calculus with CCS.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
20	Felix Joachimski, Ralph Matthes	Standardization and Confluence for a Lambda Calculus with Generalized Applications.	RTA	2000	DBLP DOI BibTeX RDF
20	Michel Parigot	Strong Normalization of Second Order Symmetric lambda-Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
20	Yasuhiko Minamide	Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation.	HOOTS	1999	DBLP DOI BibTeX RDF
20	Søren B. Lassen	Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.	MFPS	1999	DBLP DOI BibTeX RDF
20	Carsten Führmann	Direct Models for the Computational Lambda Calculus.	MFPS	1999	DBLP DOI BibTeX RDF
20	Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi	The call-by-value [lambda]-calculus: a semantic investigation.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
20	Furio Honsell, Marina Lenisa	Semantical Analysis of Perpetual Strategies in lambda-Calculus.	Theor. Comput. Sci.	1999	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.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
20	Gavin M. Bierman	A Classical Linear lambda-Calculus.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
20	Alessandro Berarducci, Mariangiola Dezani-Ciancaglini	Infinite lambda-Calculus and Types.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
20	Viviana Bono, Michele Bugliesi	Matching for the lambda Calculus of Objects.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
20	Olivier Bastonero, Xavier Gouy	Strong Stability and the Incompleteness of Stable Models for lambda-Calculus.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
20	Norman Danner	Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
20	James McKinna, Robert Pollack	Some Lambda Calculus and Type Theory Formalized.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
20	Martin Hofmann 0001	Semantics of Linear/Modal Lambda Calculus.	J. Funct. Program.	1999	DBLP DOI BibTeX RDF
20	Tristan Crolard	A confluent lambda-calculus with a catch/throw mechanism.	J. Funct. Program.	1999	DBLP DOI BibTeX RDF
20	Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi	Perpetual Reductions in Lambda-Calculus.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
20	Antonino Salibra, Robert Goldblatt	A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
20	Torben Æ. Mogensen	Gödelization in the Untyped lambda-Calculus.	PEPM	1999	DBLP BibTeX RDF
20	Catherine Pilière	A Confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-Point.	FCT	1999	DBLP DOI BibTeX RDF
20	Maribel Fernández, Ian Mackie	Closed Reductions in the lambda-Calculus.	CSL	1999	DBLP DOI BibTeX RDF
20	Samin S. Ishtiaq, David J. Pym	Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.	CSL	1999	DBLP DOI BibTeX RDF
20	Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy	LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.	HLCL	1998	DBLP DOI BibTeX RDF
20	Laurent Dami	A Lambda-Calculus for Dynamic Binding.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
20	Robert Goldblatt	Enlargement of Functional Algebras for the Lambda Calculus.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
20	Naim Çagman, J. Roger Hindley	Combinatory Weak Reduction in Lambda Calculus.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
20	Gerald J. Sussman, Guy L. Steele Jr.	Scheme: A Interpreter for Extended Lambda Calculus.	High. Order Symb. Comput.	1998	DBLP DOI BibTeX RDF
20	Anindya Banerjee 0001, David A. Schmidt	Stackability in the Simply-Typed Call-by-Value lambda Calculus.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
20	John Maraist, Martin Odersky, Philip Wadler	The Call-by-Need Lambda Calculus.	J. Funct. Program.	1998	DBLP DOI BibTeX RDF
20	Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno	A Filter Model for Concurrent lambda-Calculus.	SIAM J. Comput.	1998	DBLP DOI BibTeX RDF
20	Neil D. Jones, Carsten K. Gomard, Peter Sestoft	Partial Evaluation for the Lambda Calculus.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
20	Pietro Di Gianantonio, Furio Honsell, Luigi Liquori	A Lambda Calculus of Objects with Self-Inflicted Extension.	OOPSLA	1998	DBLP DOI BibTeX RDF
20	Joëlle Despeyroux, Pierre Leleu	A Modal Lambda Calculus with Iteration and Case Constructs.	TYPES	1998	DBLP DOI BibTeX RDF
20	Arne Kutzner, Manfred Schmidt-Schauß	A Non-Deterministic Call-by-Need Lambda Calculus.	ICFP	1998	DBLP DOI BibTeX RDF
20	John Maraist	Separating Weakening and Contraction in a Linear Lambda Calculus.	CATS	1998	DBLP BibTeX RDF
20	Carolina Lavatelli	Deadlock Sensitive Types for Lambda Calculus with Resources.	FSTTCS	1998	DBLP DOI BibTeX RDF
20	Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro	A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
20	Henk Barendregt	The impact of the lambda calculus in logic and computer science.	Bull. Symb. Log.	1997	DBLP DOI BibTeX RDF
20	Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries	Infinitary Lambda Calculus.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF