"Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Lambda Calculus with Types	Henk Barendregt; Wil Dekkers; Richard Statman	2013-06	Cambridge University Press
Lambda Calculus with Types	Henk Barendregt, Wil Dekkers, Richard Statman	2013	Cambridge University Press
The Lambda Calculus	H.P. BARENDREGT	1984	Elsevier
Lambda-calculus, types and models	Jean-Louis Krivine, Rene Corvi (translator)	2011
Lambda-Calculus and Combinators: An Introduction	J. Roger Hindley; Jonathan P. Seldin	2008-07	Cambridge University Press
Lambda-calculus, combinators and functional programming	Révész, György E	1988	Cambridge University Press
Lambda-calculus, Combinators and Functional Programming	G. E. Revesz	1988	Cambridge University Press
An introduction to lambda calculus	Barendregt & Barendsen	2012.	Learning Press
The Parametric Lambda Calculus: A Metamodel for Computation	Simona Ronchi Della Rocca; Luca Paolini	2004	Springer Berlin Heidelberg
Abstract Computing Machines: A Lambda Calculus Perspective	Werner Kluge	2005	Springer Berlin Heidelberg
Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction	Gallier J., Quaintance J.	2020	University of Pennsylvania
An Introduction to Functional Programming Through Lambda Calculus	Michaelson, G.	2011	Dover Publications
An Introduction to Functional Programming Through Lambda Calculus	Greg Michaelson	1989	Addison-Wesley
A simple lambda-calculus model of programming languages.	S. Kamal Abdali	1973	Courant Institute of Mathematical Sciences, New York University
Convertible bond call, call delay, and the value of call underwriting	Charles Y. Mann	1994
Call-By-Push-Value: A Functional/Imperative Synthesis	Paul Blain Levy	2003	Springer Netherlands
Call-by-push-value: a functional/imperative synthesis	Paul Blain Levy	2003	Kluwer Academic Publishers
Elements of programming linguistics. Part I, The lambda calculus and its implementation	Bruce J. MacLennan	1981	Naval Postgraduate School
Amb amics /	Soto, Pere,
Last Guy She Should Call	Joss Wood	2014	Harlequin (UK)
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB	Manfred Schmidt-Schauß; David Sabel	Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings	Gilles Dowek	2014	Springer International Publishing
Call-by-value combinatory logic and the lambda-value calculus	John Gateley; Bruce F. Duba	Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings	Stephen Brookes; Michael Main; Austin Melton; Michael Mislove; David Schmidt	1992	Springer Berlin Heidelberg
Stackability in the simply-typed call-by-value lambda calculus	Anindya Banerjee; David A. Schmidt	Static Analysis: First International Static Analysis Symposium, SAS ' 94, Namur, Belgium, September 28 - 30, 1994. Proceedings	Baudouin LeCharlier	1994	Springer Berlin Heidelberg
Elementary Affine Logic and the Call-by-Value Lambda Calculus	Paolo Coppola; Ugo Dal Lago; Simona Ronchi Della Rocca	Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings	Pawel Urzyczyn	2005	Springer Berlin Heidelberg
The Call-by-Need Lambda Calculus, Revisited	Stephen Chang; Matthias Felleisen	Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings	Helmut Seidl	2012	Springer Berlin Heidelberg
The Call-by-Value λ-Calculus	Simona Ronchi Della Rocca; Luca Paolini	The Parametric Lambda Calculus: A Metamodel for Computation	Simona Ronchi Della Rocca; Luca Paolini	2004	Springer Berlin Heidelberg
The lazy call-by-value λ-calculus	Lavinia Egidi; Furio Honsell; Simona Ronchi della Rocca	Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings	Andrzej Tarlecki	1991	Springer Berlin Heidelberg
λμ-Calculus and Duality: Call-by-Name and Call-by-Value	Jérôme Rocheteau	Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings	Jürgen Giesl	2005	Springer Berlin Heidelberg
Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq	Yannick Forster; Gert Smolka	Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings	Mauricio Ayala-Rincón; César A. Muñoz	1st ed. 2017	Springer International Publishing
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine	Fabian Kunze; Gert Smolka; Yannick Forster	Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings	Sukyoung Ryu	1st ed. 2018	Springer International Publishing
The lambda-calculus with multiplicities	Gérard Boudol	CONCUR' 93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings	Eike Best	1993	Springer Berlin Heidelberg
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi	Raphaëlle Crubillé; Ugo Dal Lago	Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings	Zhong Shao	2014	Springer Berlin Heidelberg
On Probabilistic Applicative Bisimulation and Call-by-Value λ -Calcu		Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings	Zhong Shao (eds.)	2014	Springer-Verlag Berlin Heidelberg
and the Lambda Calculus		Foundations of Object-Oriented Languages: Types and Semantics	Kim B. Bruce	2002	The MIT Press
Lambda Calculus	Erwin Engeler	Foundations of Mathematics: Questions of Analysis, Geometry & Algorithmics	Erwin Engeler	1993	Springer Berlin Heidelberg
Lambda Calculus		Concise encyclopedia of mathematics	Eric W. Weisstein	1999	see notes for publisher info
LAMBDA-CALCULUS		Wiley Encyclopedia of Computer Science and Engineering, 5-Volume Set	Benjamin W. Wah	2009	Wiley-Interscience
lambda calculus		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Lambda Calculus		The Imposter's Handbook	Rob Conery	2016	Big Machine, Inc.
Lambda Calculus		Discrete structures, logic, and computability	James L. Hein	1995	Jones and Bartlett
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB" - similar Books and Chapters