Types for proofs and programs / ed. Peter Dybjer, Bengt Nordstrom, Jan Smith
Secondary Author
Dybjer, Peter
Nordstrom, Bengt
Smith, Jan
Corporate Author (Secondary)
International Workshop TYPES '94, Bastad, 1994
Country
Alemanha.
Publication
Berlin : Springer-Verlag, cop. 1995
Description
X, 202 p. ;
24 cm
Series
Lecture notes in computer science , 996)
ISBN
3-540-60579-7
CDU
519.6
There are no comments for this item.