Types for proofs and programs / ed. Peter Dybjer, Bengt Nordstrom, Jan Smith

Types for proofs and programs / ed. Peter Dybjer, Bengt Nordstrom, Jan Smith . - Berlin : Springer-Verlag, cop. 1995 . - X, 202 p. 24 cm . - (Lecture notes in computer science; 996))
3-540-60579-7 (Brochado)

519.6