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.
Davenport, James H.
and
Kohlhase, Michael
2009.
Intelligent Computer Mathematics.
Vol. 5625,
Issue. ,
p.
263.
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.
Chitil, Olaf
2009.
Wiley Encyclopedia of Computer Science and Engineering.
p.
1334.
Baez, J.
and
Stay, M.
2010.
New Structures for Physics.
Vol. 813,
Issue. ,
p.
95.
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.
Bekki, Daisuke
2011.
New Frontiers in Artificial Intelligence.
Vol. 6797,
Issue. ,
p.
16.
Speroni di Fenizio, Pietro
Matsumaru, Naoki
and
Dittrich, Peter
2011.
Advances in Artificial Life. Darwin Meets von Neumann.
Vol. 5777,
Issue. ,
p.
385.
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.
2011.
Combinatory Logic.
p.
321.
Schmalz, Matthias
2011.
Formal Methods and Software Engineering.
Vol. 6991,
Issue. ,
p.
633.
Vakili, Amirhossein
and
Day, Nancy A.
2012.
Abstract State Machines, Alloy, B, VDM, and Z.
Vol. 7316,
Issue. ,
p.
150.
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.
Ozaki, Hiroko
and
Bekki, Daisuke
2012.
Logical Aspects of Computational Linguistics.
Vol. 7351,
Issue. ,
p.
186.
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.
Kramer, Simon
2013.
Logic and Its Applications.
Vol. 7750,
Issue. ,
p.
173.
Turner, D. A.
2013.
Trends in Functional Programming.
Vol. 7829,
Issue. ,
p.
1.
Ribeiro, Rodrigo
Figueiredo, Lucília
and
Camarão, Carlos
2013.
Mechanized metatheory for a $$\lambda $$-calculus with trust types.
Journal of the Brazilian Computer Society,
Vol. 19,
Issue. 4,
p.
433.
Hemann, Jason
and
Holk, Eric
2013.
Visualizing the turing tarpit.
p.
71.