Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) 1st Edition

7.9 MiB

Download ready in 3s