Home > Stackability in the simply-typed call-by-value lambda calculus
"Stackability in the simply-typed call-by-value lambda calculus" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
1984 | Elsevier | ||
1st ed. 2017 | Springer Berlin Heidelberg | ||
2013-06 | Cambridge University Press | ||
2013 | Cambridge University Press | ||
2011 | |||
2012. | Learning Press | ||
1993 | Springer Berlin Heidelberg | ||
1997 | Springer-Verlag Berlin Heidelberg | ||
1997 | Springer Berlin Heidelberg | ||
2008-07 | Cambridge University Press | ||
1988 | Cambridge University Press | ||
1988 | Cambridge University Press | ||
1995 | Springer Berlin Heidelberg | ||
2004 | Springer Berlin Heidelberg | ||
2005 | Springer Berlin Heidelberg | ||
2011 | Dover Publications | ||
1989 | Addison-Wesley | ||
1973 | Courant Institute of Mathematical Sciences, New York University | ||
2020 | University of Pennsylvania | ||
2003 | Springer Netherlands | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
1994 | Springer Berlin Heidelberg | ||||
2020 | Independently published | ||||
2018 | University of Illinois | ||||
2002 | MIT Press | ||||
2014-11 | Cambridge University Press | ||||
2018 | University of Illinois | ||||
[1996], ©1996. | MIT Press, | ||||
2013-06 | Cambridge University Press | ||||
2013 | Cambridge University Press | ||||
2009 | Springer Berlin Heidelberg | ||||
1999 | Springer Berlin Heidelberg | ||||
2018 | Bern University | ||||
1992-06 | Cambridge University Press | ||||
2013 | Springer Berlin Heidelberg | ||||
2011 | arXiv.org | ||||
1975 | Springer Berlin Heidelberg | ||||
2005 | Springer Berlin Heidelberg | ||||
1990 | Prentice Hall | ||||
1995 | Springer Berlin Heidelberg | ||||
1992 | Springer Berlin Heidelberg | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |