Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science

Name: Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science
Author: Thomas Streicher

by Thomas Streicher · 1 review · 1995

Reviewed by	Journal	Date	Access
Markus Marzetta	The Journal of Symbolic Logic	1995	Restricted

Metaphysics & Logic

Search PhilReviews for this title