Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
Author(s)
Bibliographic Information
Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
（Lecture notes in computer science, 3085）
Springer, c2004
Available at / 18 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||308504012976
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index