Cita APA

Persson, H. (1999). Type theory and the integrated logic of programs. Chalmers, Göteborg University.

Citación estilo Chicago

Persson, Henrik. Type Theory and the Integrated Logic of Programs. Göteborg, Sweden: Chalmers, Göteborg University, 1999.

Cita MLA

Persson, Henrik. Type Theory and the Integrated Logic of Programs. Göteborg, Sweden: Chalmers, Göteborg University, 1999.

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