-
Bib ID# 18496
ISBN: 9783540314295
UPC: 10.1007/11617990
Title: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
Author: Filliâtre, Jean-Christophe.
Publication Info:
Item Type: Language material