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.
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.
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.
Schmalz, Matthias
2011.
Formal Methods and Software Engineering.
Vol. 6991,
Issue. ,
p.
633.
Bekki, Daisuke
2011.
New Frontiers in Artificial Intelligence.
Vol. 6797,
Issue. ,
p.
16.
2011.
Combinatory Logic.
p.
321.
Speroni di Fenizio, Pietro
Matsumaru, Naoki
and
Dittrich, Peter
2011.
Advances in Artificial Life. Darwin Meets von Neumann.
Vol. 5777,
Issue. ,
p.
385.
Dal Lago, Ugo
2012.
Lectures on Logic and Computation.
Vol. 7388,
Issue. ,
p.
89.
Kobele, Greg
2012.
Ellipsis: computation of.
WIREs Cognitive Science,
Vol. 3,
Issue. 3,
p.
411.
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.
Turner, D. A.
2013.
Trends in Functional Programming.
Vol. 7829,
Issue. ,
p.
1.
Kramer, Simon
2013.
Logic and Its Applications.
Vol. 7750,
Issue. ,
p.
173.
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.