Programming in Martin-Lof's type theory : an introduction /

Bibliographic Details
Main Author: Nordström, Bengt
Other Authors: Petersson, Kent, Smith, Jan M.
Format: Book
Language:English
Published: Oxford : Clarendon Press, 1990.
Series:International series of monographs on computer science ; v. 7
Subjects: