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.
2011.
Combinatory Logic.
p.
321.
Schmalz, Matthias
2011.
Formal Methods and Software Engineering.
Vol. 6991,
Issue. ,
p.
633.
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.
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.
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.
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.
Endrullis, Jörg
Hendriks, Dimitri
Klop, Jan Willem
and
Polonsky, Andrew
2013.
The Beauty of Functional Code.
Vol. 8106,
Issue. ,
p.
97.
Hemann, Jason
and
Holk, Eric
2013.
Visualizing the turing tarpit.
p.
71.
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.