Semantics of constructive type theory (1985)

by Adrian Rezus