![](/img/cover-not-exists.png)
Semantics and Logics of Computation || Syntax and Semantics of Dependent Types
Pitts, Andrew M., Dybjer, P.Volume:
10.1017/CB
Year:
1997
Language:
english
DOI:
10.1017/CBO9780511526619.004
File:
PDF, 2.51 MB
english, 1997