Gonzalía, C. (2006). Relations in dependent type theory. Göteborg University.
Citación estilo ChicagoGonzalía, Carlos. Relations in Dependent Type Theory. Göteborg, Sweden: Göteborg University, 2006.
Cita MLAGonzalía, Carlos. Relations in Dependent Type Theory. Göteborg, Sweden: Göteborg University, 2006.
Precaución: Estas citas no son 100% exactas.
