-
Bib ID# 16682
ISBN: 9783540681038
UPC: 10.1007/978-3-540-68103-8
Title: Types for Proofs and ProgramsInternational Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
Author: Miculan, Marino.
Publication Info:
Item Type: Language material