Thomas Streicher
Autor von "Semantics of Type Theory: Correctness, Completeness and Independence Results" .
Semantics of Type Theory: Correctness, Completeness and Independence Results
Hardcover
erschienen am 18.09.1991