-
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