Theories of types and proofs:
Saved in:
Bibliographic Details
Format: Book
Language:English
Published: Amsterdam [u.a.] Elsevier 2002
Subjects:
Item Description:Literaturangaben. - In: Theoretical computer science ; 272 (2002),1/2
Physical Description:398 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!