Derivation and Computation. Taking the Curry-Howard Correspondence Seriously

by Harold Simmons · 1 review · 2001

Reviewed by	Journal	Date	Access
Norman Danner	The Bulletin of Symbolic Logic	2001-09-00	Restricted

Metaphysics & Logic

Also by Simmons

The New Phenomenology (6 reviews)
Moral Principles and Political Obligations (5 reviews)
On the Edge of Anarchy: Locke, Consent, and the Limits of Society (4 reviews)
The New Phenomenology [Author's Reply] (4 reviews)
Boundaries of Authority (3 reviews)
Justification and Legitimacy: Essays on Rights and Obligations (3 reviews)
The Lockean Theory of Rights (3 reviews)
An-Archy and Justice: An Introduction to Emmanuel Levinas' Political Thought (2 reviews)

Search PhilReviews for this title