Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 37152
    ISBN: 9783642024443
    UPC: 10.1007/978-3-642-02444-3
    Title: Types for Proofs and ProgramsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
    Author: Berardi, Stefano.
    Publication Info:
    Item Type: Language material

Additional Resources