Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
USING AND PROGRAMMING THE IBM PCJRR INCLUDING 77 READY-TO-RUN PROGRAMS
FREDERICK HOLTZ2222 年出版245 页ISBN:0830618309