Foundations for programming languages

by John C. Mitchell · 1 review · 1999

Reviewed by	Journal	Date	Access
Arnon Avron	The Journal of Symbolic Logic	1999	Restricted

Metaphysics & Logic

Also by Mitchell

American Awakening (5 reviews)
Morality: Religious and Secular (5 reviews)
Unsimple Truths: Science, Complexity, and Policy (5 reviews)
Heidegger among the Sculptors: Body, Space, and the Art of Dwelling (4 reviews)
Iconology: Image, Text, Ideology (4 reviews)
Plato's Fable: On the Mortal Condition in Shadowy Times (4 reviews)
Bildtheorie (3 reviews)
Biological Complexity and Integrative Pluralism (3 reviews)

Search PhilReviews for this title