Search

You searched for: Auteur de Liguoro, Ugo Remove constraint Auteur: de Liguoro, Ugo
1 entry found
Number of results to display per page

Search Results

1. Types for Proofs and Programs
thumbnail
Full text!
Author:
Berardi, Stefano; Damiani, Ferruccio; Kanade, Takeo; de Liguoro, Ugo
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book