Robert L. Constable (constable-rl)

Beiträge zu Philosophie.ch

Bibliography

Constable, Robert L. 1980. “The Role of Finite Automata in the Development of Modern Computing Theory.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 61–83. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Constable, Robert L. 1998. “Types in Logic, Mathematics, and Programming.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 683–786. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Constable, Robert L. 2017. “Formal Systems, Logics, and Programs.” in Raymond Smullyan on Self Reference, edited by Melvin Chris Fitting and Brian Rayman, pp. 23–38. Outstanding Contributions to Logic n. 14. Cham: Springer.
Constable, Robert L. and Crary, Karl. 2002. “Computational Complexity and Induction for Partial Computable Functions in Type Theory.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 164–181. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Kamareddine, Fairouz, Laan, Twan and Constable, Robert L. 2012. “Russell’s Orders in Kripke’s Theory of Truth and Computational Type Theory.” in Handbook of the History of Logic. Volume 6: Sets and Extensions in the Twentieth Century, edited by Dov M. Gabbay, Akihiro Kanamori, and John Woods, pp. 801–846. Amsterdam: Elsevier Science Publishers B.V.