Types for proofs and programs : selected papers / International Workshop TYPES'93; ed. Henk Barendregt, Tobias Nipkow
Corporate Author (Main)
International Workshop TYPES'93, Nijmegen, 1993
Secondary Author
Barendregt, H. P.
Nipkow, Tobias
Country
Alemanha.
Publication
Berlin : Springer-Verlag, cop. 1994
Description
383 p. ;
24 cm
Series
Lecture notes in computer science , 806
ISBN
3-540-58085-9
CDU
519.6
There are no comments for this item.