Title: Semantics of type theory
First published: 1991
Subjects: Type theory, Functional programming (Computer science), Semantics, Programming languages (Electronic computers)
LC classification: QA76.7