Programming in Martin-Löf's type theory. An introduction

by Bengt Nordström, Kent Petersson, and Jan M. Smith · 1 review · 1992

Reviewed by	Journal	Date	Access
John C. Mitchell	The Journal of Symbolic Logic	1992	Restricted

Metaphysics & Logic

Also by Smith

The Internet Is Not What You Think It Is: A History, a Philosophy, a Warning (11 reviews)
Husserl and Intentionality (10 reviews)
The Problem of Perception (10 reviews)
Vagueness and Degrees of Truth (8 reviews)
Ayn Rand's Normative Ethics: The Virtuous Egoist (7 reviews)
Divine Machines: Leibniz and the Sciences of Life (7 reviews)
Irrationality: A History of the Dark Side of Reason (7 reviews)
Nature, Human Nature, and Human Difference: Race in Early Modern Philosophy (7 reviews)

Search PhilReviews for this title