Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Larson, Jean A.
1998.
Set Theory.
p.
127.
Barthe, Gilles
and
Frade, Maria João
1999.
Programming Languages and Systems.
Vol. 1576,
Issue. ,
p.
109.
Barendregt, Henk
1999.
Computational Logic.
p.
99.
Berline, Chantal
2000.
From computation to foundations via functions and application: The λ-calculus and its webbed models.
Theoretical Computer Science,
Vol. 249,
Issue. 1,
p.
81.
Wiedijk, Freek
2001.
Theorem Proving in Higher Order Logics.
Vol. 2152,
Issue. ,
p.
378.
Barendregt, Henk
and
Cohen, Arjeh M.
2001.
Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants.
Journal of Symbolic Computation,
Vol. 32,
Issue. 1-2,
p.
3.
Barendregt, Henk
and
Geuvers, Herman
2001.
Handbook of Automated Reasoning.
p.
1149.
Feferman, Solomon
Dawson, John W
Goldfarb, Warren
Parsons, Charles
and
Sieg, Wilfried
2003.
Kurt Gödel.
p.
565.
Klement, Kevin
2003.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.
History and Philosophy of Logic,
Vol. 24,
Issue. 1,
p.
15.
Dawson, John
2003.
The Cambridge History of Philosophy 1870–1945.
p.
592.
Baldwin, Thomas
2003.
The Cambridge History of Philosophy 1870–1945.
Feferman, Solomon
Dawson, John W
Goldfarb, Warren
Parsons, Charles
and
Sieg, Wilfried
2003.
Kurt Gödel.
p.
579.
Wiedijk, Freek
2003.
Mathematical Knowledge Management.
Vol. 2594,
Issue. ,
p.
188.
Williamson, Jon
2004.
A Dynamic Interaction Between Machine Learning and the Philosophy of Science.
Minds and Machines,
Vol. 14,
Issue. 4,
p.
539.
Alves, Sandra
and
Florido, Mário
2004.
Logic Based Program Synthesis and Transformation.
Vol. 3018,
Issue. ,
p.
160.
Pucella, Riccardo
2005.
SIGACT news logic column 14.
ACM SIGACT News,
Vol. 36,
Issue. 4,
p.
47.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
1.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
Harrison, John
2006.
Automated Reasoning.
Vol. 4130,
Issue. ,
p.
177.
Boley, Harold
2006.
Principles and Practice of Semantic Web Reasoning.
Vol. 4187,
Issue. ,
p.
1.