Cita APA

Gonzalía, C. (2006). Relations in dependent type theory. Göteborg University.

Citación estilo Chicago

Gonzalía, Carlos. Relations in Dependent Type Theory. Göteborg, Sweden: Göteborg University, 2006.

Cita MLA

Gonzalía, Carlos. Relations in Dependent Type Theory. Göteborg, Sweden: Göteborg University, 2006.

Precaución: Estas citas no son 100% exactas.