Philip Scott (scott-ph)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Ehrhardt, Thomas, Girard, Jean-Yves, Ruet, Paul and Scott, Philip, eds. 2010. Linear Logic in Computer Science. Cambridge: Cambridge University Press.
Lambek, Joachim and Scott, Philip. 1981. “Intuitionist Type Theory and Foundations.” The Journal of Philosophical Logic 10(1): 101–115.
Lambek, Joachim and Scott, Philip. 1986. Introduction to Higher-Order Categorical Logic. Cambridge: Cambridge University Press.
Ščedrov, Andrej and Scott, Philip. 1982. “A Note on the Friedman Slash and Freyd Covers.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 443–452. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.