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