Catalog

Record Details

Catalog Search


Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers Cover Image E-book E-book

Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro.

Berardi, Stefano. (editor.). Damiani, Ferruccio. (editor.). de’Liguoro, Ugo. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources