John C. Mitchell (mitchell-jc)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Gunter, Carl A. and Mitchell, John C., eds. 1994. Theoretical Aspects of Object-Oriented Programming. Cambridge, Massachusetts: The MIT Press.
Kurtz, Stuart, Mitchell, John C. and O’Donnell, Michael J. 1992. “Connective Formal Semantics to Constructive Intuitions.” cs 92–01. Chicago, Illinois: Department of Computer Science, University of Chicago.
Mitchell, John C. 1986. “Kripke-Style Semantics for Typed Lambda Calculus.” Unpublished manuscript, AT&T Bell Laboratories.
Mitchell, John C. 1990. “Type Systems for Programming Languages.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 365–458. Cambridge, Massachusetts: The MIT Press.
Mitchell, John C. 1991. “On the Equivalence of Data Representations.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 305–329. New York: Academic Press.
Mitchell, John C. 1996. Foundations for Programming Languages. Cambridge, Massachusetts: The MIT Press.
Mitchell, John C. and O’Donnell, Michael J. 1986. “Realizability Semantics for Error-Tolerant Logics (Preliminary Version).” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 363–381. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.