Relations in dependent type theory
By: Carlos Gonzalía.
Publisher: Göteborg University
Published: 2006
Place of publication: Göteborg, Sweden
Language: eng
Number of pages: 222