Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Author(s)
Bibliographic Information
Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
（Lecture notes in computer science, 1158）
Springer, c1996
Available at / 55 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: alk. paperL/N||LNCS||115896044818
-
University of Tsukuba Library, Library on Library and Information Science
: alk. paper007.08:L-49:1158961004630
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
