TY  - BOOK
AU  - Nordström,Bengt
AU  - Petersson,Kent
AU  - Smith,Jan M.
TI  - Programming in Martin-Löf's type theory: an introduction 
SN  - 0198538146
AV  - QA 76.6 .N66 1990
U1  - 005.1 20
PY  - 1990///
CY  - Oxford, New York
PB  - Clarendon Press, Oxford University Press
KW  - Computer programming
KW  - Set theory
N1  - Includes bibliographical references (p. [203]-211) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0639/89072178-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0639/89072178-t.html
ER  -