Search results for "Lambda-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Ugo Dal Lago, Simone Martini 0001	On Constructor Rewrite Systems and the Lambda Calculus	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
20	Barbara Petit	A Categorical Model for the Lambda Calculus with Constructors	CoRR	2012	DBLP BibTeX RDF
20	Marius Buliga	Local and global moves on locally planar trivalent graphs, lambda calculus and $λ$-Scale	CoRR	2012	DBLP BibTeX RDF
20	Clemens Grabmayer, Jan Rochel	Expressibility in the Lambda Calculus with Letrec	CoRR	2012	DBLP BibTeX RDF
20	Marius Buliga	$λ$-Scale, a lambda calculus for spaces with dilations	CoRR	2012	DBLP BibTeX RDF
20	Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli	Standardization in resource lambda-calculus	LINEARITY	2012	DBLP DOI BibTeX RDF
20	Pablo Arrighi, Alejandro Díaz-Caro	Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
20	Anton Salikhmetov	A recursive normalizing one-step reduction strategy for the distributive lambda calculus	CoRR	2012	DBLP BibTeX RDF
20	Stephen Chang 0001, Matthias Felleisen	The Call-by-need Lambda Calculus, Revisited	CoRR	2012	DBLP BibTeX RDF
20	Flavien Breuvart	On the discriminating power of tests in resource lambda-calculus	CoRR	2012	DBLP BibTeX RDF
20	Robbert Krebbers	A call-by-value lambda-calculus with lists and control	CL&C	2012	DBLP DOI BibTeX RDF
20	Beniamino Accattoli, Delia Kesner	Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
20	Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto	Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
20	Norihiro Kamide	Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic.	Reports Math. Log.	2012	DBLP BibTeX RDF
20	Ugo Dal Lago, Margherita Zorzi	Probabilistic operational semantics for the lambda calculus.	RAIRO Theor. Informatics Appl.	2012	DBLP DOI BibTeX RDF
20	Alexander Kurz 0001, Daniela Petrisan, Paula Severi, Fer-Jan de Vries	An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.	CMCS	2012	DBLP DOI BibTeX RDF
20	Dana S. Scott	Lambda Calculus Then and Now.	ACM-TURING	2012	DBLP DOI BibTeX RDF
20	Jan Willem Klop	Term Rewriting and Lambda Calculus.	LICS	2012	DBLP DOI BibTeX RDF
20	Stephen Chang 0001, Matthias Felleisen	The Call-by-Need Lambda Calculus, Revisited.	ESOP	2012	DBLP DOI BibTeX RDF
20	Shin-ya Nishizaki, Mizuki Fujii	Strong Reduction for Typed Lambda Calculus with First-Class Environments.	ICICA (LNCS)	2012	DBLP DOI BibTeX RDF
20	Jeremy G. Siek, Ronald Garcia	Interpretations of the gradually-typed lambda calculus.	Scheme@ICFP	2012	DBLP DOI BibTeX RDF
20	Sheng Chen 0008, Martin Erwig, Eric Walkingshaw	An error-tolerant type system for variational lambda calculus.	ICFP	2012	DBLP DOI BibTeX RDF
20	Luminous Fennell, Peter Thiemann 0001	The Blame Theorem for a Linear Lambda Calculus with Type Dynamic.	Trends in Functional Programming	2012	DBLP DOI BibTeX RDF
20	Yoichi Hirai	A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom.	FLOPS	2012	DBLP DOI BibTeX RDF
20	Kazushige Terui	Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus.	RTA	2012	DBLP DOI BibTeX RDF
20	Alberto Carraro, Antonino Salibra	On the equational consistency of order-theoretic models of the lambda-calculus.	CSL	2012	DBLP DOI BibTeX RDF
20	Paolo Tranquilli	Intuitionistic differential nets and lambda-calculus.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
20	Ugo Dal Lago, Margherita Zorzi	Probabilistic Operational Semantics for the Lambda Calculus	CoRR	2011	DBLP BibTeX RDF
20	Barbara Petit	Semantics of Typed Lambda-Calculus with Constructors	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
20	Murdoch James Gabbay, Dominic P. Mulligan	Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets	LFMTP	2011	DBLP DOI BibTeX RDF
20	Jan Rochel, Clemens Grabmayer	Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)	TERMGRAPH	2011	DBLP DOI BibTeX RDF
20	Benedikt Meurer	A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus	CoRR	2011	DBLP BibTeX RDF
20	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the confluence of lambda-calculus with conditional rewriting	CoRR	2011	DBLP BibTeX RDF
20	Steffen van Bakel	Strict intersection types for the Lambda Calculus.	ACM Comput. Surv.	2011	DBLP DOI BibTeX RDF
20	Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca	Extending the lambda-calculus with unbind and rebind.	RAIRO Theor. Informatics Appl.	2011	DBLP DOI BibTeX RDF
20	Baojian Hua	Static typing for a substructural lambda calculus.	Frontiers Comput. Sci. China	2011	DBLP DOI BibTeX RDF
20	Peter Gammie	Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin.	J. Funct. Program.	2011	DBLP DOI BibTeX RDF
20	Paula Severi, Fer-Jan de Vries	Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus.	WoLLIC	2011	DBLP DOI BibTeX RDF
20	Luca Roversi	Linear Lambda Calculus and Deep Inference.	TLCA	2011	DBLP DOI BibTeX RDF
20	Giulio Manzonetto, Michele Pagani	Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion.	TLCA	2011	DBLP DOI BibTeX RDF
20	Conrad Rau, Manfred Schmidt-Schauß	A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains.	UNIF	2011	DBLP BibTeX RDF
20	Vojtech Merunka	Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments.	EOMAS	2011	DBLP DOI BibTeX RDF
20	Nicolas Guenot	Nested proof search as reduction in the Lambda-calculus.	PPDP	2011	DBLP DOI BibTeX RDF
20	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	Linearity and recursion in a typed Lambda-calculus.	PPDP	2011	DBLP DOI BibTeX RDF
20	Wei Lu 0011, Hwee Tou Ng	A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions.	EMNLP	2011	DBLP BibTeX RDF
20	Paula Severi, Fer-Jan de Vries	Weakening the Axiom of Overlap in Infinitary Lambda Calculus.	RTA	2011	DBLP DOI BibTeX RDF
20	Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen	Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.	RTA	2011	DBLP DOI BibTeX RDF
20	Thomas Ehrhard	Resource Lambda-Calculus: the Differential Viewpoint.	CSL	2011	DBLP DOI BibTeX RDF
20	Patry Zadarnowski	C, Lambda Calculus and Compiler Verification - a study in Haskell of purely-functional techniques for a formal specification of imperative programming languages and an epistemically-sound verification of their compilers.		2011	RDF
20	Andres Löh, Conor McBride, Wouter Swierstra	A Tutorial Implementation of a Dependently Typed Lambda Calculus.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
20	Frédéric Blanqui, Claude Kirchner, Colin Riba	On the confluence of lambda-calculus with conditional rewriting.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
20	Eijiro Sumii	A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
20	Marie Ferbus-Zanda, Serge Grigorieff	ASMs and Operational Algorithmic Completeness of Lambda Calculus	CoRR	2010	DBLP BibTeX RDF
20	Anders Schack-Nielsen, Carsten Schürmann	Pattern Unification for the Lambda Calculus with Linear and Affine Types	LFMTP	2010	DBLP DOI BibTeX RDF
20	Luca Roversi	Linear lambda calculus with explicit substitutions as proof-search in Deep Inference	CoRR	2010	DBLP BibTeX RDF
20	Alejandro Díaz-Caro, Barbara Petit	Sums in linear algebraic lambda-calculus	CoRR	2010	DBLP BibTeX RDF
20	Anton Salikhmetov	Uniform Memory and Serialization for Lambda Calculus	CoRR	2010	DBLP BibTeX RDF
20	Benoît Valiron	Semantics of a Typed Algebraic Lambda-Calculus	DCM	2010	DBLP DOI BibTeX RDF
20	Paul Taylor	A lambda calculus for real analysis.	J. Log. Anal.	2010	DBLP BibTeX RDF
20	Giulio Manzonetto, Antonino Salibra	Applying Universal Algebra to Lambda Calculus.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
20	Murdoch James Gabbay, Aad Mathijssen	A Nominal Axiomatization of the Lambda Calculus.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
20	Masahiko Sato 0001, Randy Pollack	External and internal syntax of the lambda-calculus.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
20	Daniel J. Dougherty, Luigi Liquori	Logic and Computation in a Lambda Calculus with Intersection and Union Types.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
20	Marie Ferbus-Zanda, Serge Grigorieff	ASMs and Operational Algorithmic Completeness of Lambda Calculus.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
20	Michele Pagani, Simona Ronchi Della Rocca	Solvability in Resource Lambda-Calculus.	FoSSaCS	2010	DBLP DOI BibTeX RDF
20	Jianzhou Zhao, Qi Zhang, Steve Zdancewic	Relational Parametricity for a Polymorphic Linear Lambda Calculus.	APLAS	2010	DBLP DOI BibTeX RDF
20	Zachary Snow	Realizing the Dependently Typed Lambda Calculus.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
20	Anders Schack-Nielsen, Carsten Schürmann 0001	Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus.	IJCAR	2010	DBLP DOI BibTeX RDF
20	Jeroen Ketema, Jakob Grue Simonsen	Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus.	FLOPS	2010	DBLP DOI BibTeX RDF
20	Manfred Schmidt-Schauß, David Sabel, Elena Machkasova	Simulation in the Call-by-Need Lambda-Calculus with letrec.	RTA	2010	DBLP DOI BibTeX RDF
20	Beniamino Accattoli, Delia Kesner	The Structural lambda-Calculus.	CSL	2010	DBLP DOI BibTeX RDF
20	Lars Birkedal, Jan Schwinghammer, Kristian Støvring	A Metric Model of Lambda Calculus with Guarded Recursion.	FICS	2010	DBLP BibTeX RDF
20	Ugo Dal Lago, Andrea Masini, Margherita Zorzi	Confluence Results for a Quantum Lambda Calculus with Measurements.	QPL@MFPS	2009	DBLP DOI BibTeX RDF
20	Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn	Lambda calculus as a workflow model.	Concurr. Comput. Pract. Exp.	2009	DBLP DOI BibTeX RDF
20	Lionel Vaux	The algebraic lambda calculus.	Math. Struct. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	Ugo Dal Lago, Andrea Masini, Margherita Zorzi	On a measurement-free quantum lambda calculus with classical control.	Math. Struct. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	Loïc Colson, David Michel 0001	Pedagogical second-order lambda-calculus.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	José Espírito Santo	The lambda-Calculus and the Unity of Structural Proof Theory.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF
20	Ugo Dal Lago, Simone Martini 0001	On Constructor Rewrite Systems and the Lambda-Calculus	CoRR	2009	DBLP BibTeX RDF
20	Giulio Manzonetto	Models and theories of lambda calculus	CoRR	2009	DBLP BibTeX RDF
20	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	RPO, Second-order Contexts, and Lambda-calculus	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
20	Ugo Dal Lago, Andrea Masini, Margherita Zorzi	Confluence Results for a Quantum Lambda Calculus with Measurements	CoRR	2009	DBLP BibTeX RDF
20	Pierre Hyvernat	Synchronous Games, Simulations and lambda-calculus	CoRR	2009	DBLP BibTeX RDF
20	William Blum, C.-H. Luke Ong	The Safe Lambda Calculus	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
20	Marco Gaboardi, Mauro Piccolo	Categorical Models for a Semantically Linear Lambda-calculus	LINEARITY	2009	DBLP DOI BibTeX RDF
20	Femke van Raamsdonk	Lambda-Calculus and Combinators, An Introduction, 2nd Edition, J. Roger Hindley and Jonathan P. Seldin, Cambridge University Press, 2008. Hardback, ISBN 9780521898850.	Theory Pract. Log. Program.	2009	DBLP DOI BibTeX RDF
20	Ariel Arbiser, Alexandre Miquel, Alejandro Ríos 0001	The lambda-calculus with constructors: Syntax, confluence and separation.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
20	Henk Barendregt, Jan Willem Klop	Applications of infinitary lambda calculus.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
20	Furio Honsell, Gordon D. Plotkin	On the completeness of order-theoretic models of the lambda-calculus.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
20	Patrick Baillot, Kazushige Terui	Light types for polynomial time computation in lambda calculus.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
20	Felice Cardone, J. Roger Hindley	Lambda-Calculus and Combinators in the 20th Century.	Logic from Russell to Church	2009	DBLP DOI BibTeX RDF
20	Sylvain Salvati	Recognizability in the Simply Typed Lambda-Calculus.	WoLLIC	2009	DBLP DOI BibTeX RDF
20	Hugo Herbelin, Stéphane Zimmermann	An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form.	TLCA	2009	DBLP DOI BibTeX RDF
20	Michele Pagani, Paolo Tranquilli	Parallel Reduction in Resource Lambda-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
20	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	A Relational Model of a Parallel and Non-deterministic lambda-Calculus.	LFCS	2009	DBLP DOI BibTeX RDF	denotational semantics, relational model, ?-calculus, non-determinism, parallel composition
20	Eijiro Sumii	A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.	CSL	2009	DBLP DOI BibTeX RDF
20	William Blum	The safe lambda calculus.		2009	RDF
20	Mariangiola Dezani-Ciancaglini, J. Roger Hindley	Lambda-Calculus.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
20	David Ruiz 0003, Mateu Villaret	TILC: The Interactive Lambda-Calculus Tracer.	PROLE	2008	DBLP DOI BibTeX RDF
20	Christian Urban, Julien Narboux	Formal SOS-Proofs for the Lambda-Calculus.	LSFA	2008	DBLP DOI BibTeX RDF