Full abstraction and semantic equivalence

by Ketan Mulmuley · 1 review · 1992

Reviewed by Journal Date Access
P.-L. Curien The Journal of Symbolic Logic 1992 Restricted

Metaphysics & Logic

Search PhilReviews for this title