Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Mariangiola, Dezani‐Ciancaglini
and
Hindley, J. Roger
2008.
Wiley Encyclopedia of Computer Science and Engineering.
p.
1.
Chitil, Olaf
2009.
Wiley Encyclopedia of Computer Science and Engineering.
p.
1334.
Minari, Pierluigi
2009.
A solution to Curry and Hindley’s problem on combinatory strong reduction.
Archive for Mathematical Logic,
Vol. 48,
Issue. 2,
p.
159.
Davenport, James H.
and
Kohlhase, Michael
2009.
Intelligent Computer Mathematics.
Vol. 5625,
Issue. ,
p.
263.
Baez, J.
and
Stay, M.
2010.
New Structures for Physics.
Vol. 813,
Issue. ,
p.
95.
Speroni di Fenizio, Pietro
Matsumaru, Naoki
and
Dittrich, Peter
2011.
Advances in Artificial Life. Darwin Meets von Neumann.
Vol. 5777,
Issue. ,
p.
385.
Gabbay, Michael
2011.
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.
The Journal of Symbolic Logic,
Vol. 76,
Issue. 2,
p.
673.
Schmalz, Matthias
2011.
Formal Methods and Software Engineering.
Vol. 6991,
Issue. ,
p.
633.
2011.
Combinatory Logic.
p.
321.
GABBAY, MURDOCH J.
2011.
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables.
Mathematical Structures in Computer Science,
Vol. 21,
Issue. 5,
p.
997.
Bekki, Daisuke
2011.
New Frontiers in Artificial Intelligence.
Vol. 6797,
Issue. ,
p.
16.
Ozaki, Hiroko
and
Bekki, Daisuke
2012.
Logical Aspects of Computational Linguistics.
Vol. 7351,
Issue. ,
p.
186.
Dowek, Gilles
and
Gabbay, Murdoch J.
2012.
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions.
Theoretical Computer Science,
Vol. 451,
Issue. ,
p.
38.
Kobele, Greg
2012.
Ellipsis: computation of.
WIREs Cognitive Science,
Vol. 3,
Issue. 3,
p.
411.
Dal Lago, Ugo
2012.
Lectures on Logic and Computation.
Vol. 7388,
Issue. ,
p.
89.
Vakili, Amirhossein
and
Day, Nancy A.
2012.
Abstract State Machines, Alloy, B, VDM, and Z.
Vol. 7316,
Issue. ,
p.
150.
Stirton, William R.
2013.
A decidable theory of type assignment.
Archive for Mathematical Logic,
Vol. 52,
Issue. 5-6,
p.
631.
GABBAY, MURDOCH J.
and
KROPHOLLER, PETER H.
2013.
Imaginary groups: lazy monoids and reversible computation.
Mathematical Structures in Computer Science,
Vol. 23,
Issue. 5,
p.
1002.
Hemann, Jason
and
Holk, Eric
2013.
Visualizing the turing tarpit.
p.
71.
Turner, D. A.
2013.
Trends in Functional Programming.
Vol. 7829,
Issue. ,
p.
1.