Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/mitchell-jc

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.