"Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
The Parametric Lambda Calculus: A Metamodel for Computation	Simona Ronchi Della Rocca; Luca Paolini	2004	Springer Berlin Heidelberg
A simple lambda-calculus model of programming languages.	S. Kamal Abdali	1973	Courant Institute of Mathematical Sciences, New York University
The Lambda Calculus	H.P. BARENDREGT	1984	Elsevier
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
Lambda-calculus, types and models	Jean-Louis Krivine, Rene Corvi (translator)	2011
An introduction to lambda calculus	Barendregt & Barendsen	2012.	Learning Press
Abstract Computing Machines: A Lambda Calculus Perspective	Werner Kluge	2005	Springer Berlin Heidelberg
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
A model of efficiency wages as a signal of firm value	Lanny Arvan	1987	College of Commerce and Business Administration, University of Illinois at Urbana-Champaign
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
Actors: A Model of Concurrent Computation in Distributed Systems	Gul Agha	1986	MIT Press
Actors: A Model of Concurrent Computation in Distributed Systems	Gul Agha	1986	MIT Press,
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
On choice of a model of parallel computation.	U. Vishkin	1983	Courant Institute of Mathematical Sciences, New York University
The SIMD Model of Parallel Computation	Robert Cypher; Jorge L.C. Sanz	1994	Springer New York
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
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
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
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
Sharing in the Weak Lambda-Calculus	Tomasz Blanc; Jean-Jacques Lévy; Luc Maranget	Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday	Aart Middeldorp; Vincent van Oostrom; Femke van Raamsdonk; Roel de Vrijer	2005	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
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)	Peter Selinger; Benoît Valiron	Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings	Roberto Amadio	2008	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
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
Lambda Calculus		Combinators: A Centennial View	Stephen Wolfram	2021	Wolfram Media, Inc.
Lambda Calculus	W. S. Anglin; J. Lambek	The Heritage of Thales	W.S. Anglin; J. Lambek	1995	Springer New York
Lambda Calculus		Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus	Guerino Mazzola; Gérard Milmeister; Jody Weissmann	2005	Springer Berlin Heidelberg
Lambda Calculus		The Imposter’s Handbook: A CS Primer for Self-Taught Developers	Rob Conery	2016	Big Machine, Inc.
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq" - similar Books and Chapters