Programming in Martin-Löf's type theory
Subtitle: an introduction
By: Bengt Nordström, Kent Petersson, and Jan M. Smith.
Contributors: Petersson, Kent.; Smith, Jan M.
Series: International series of monographs on computer science ;; 7; Oxford science publications
Publisher: Clarendon Press; Oxford University Press
Published: 1990
Place of publication: Oxford; New York
Language: eng
Number of pages: 221
Subjects: Computer programming.; Set theory.
Notes: Includes bibliographical references (p. [203]-211) and index.