Sound, Totally Sound, and Unsound Recursive Equivalence Types
Auteur : R. G. Downey
Date de publication : 1984
Éditeur : National University of Singapore. Department of Mathematics
Nombre de pages : 30
Résumé du livre
Aucun résumé disponible pour ce livre.