APA (7th ed.) Citation

Altenkirch, T. (1993). Constructions, inductive types and strong normalization. Univ. of Edinburgh, Department of Computer Science.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten. Constructions, Inductive Types and Strong Normalization. Edinburgh: Univ. of Edinburgh, Department of Computer Science, 1993.

MLA (9th ed.) Citation

Altenkirch, Thorsten. Constructions, Inductive Types and Strong Normalization. Univ. of Edinburgh, Department of Computer Science, 1993.

Warning: These citations may not always be 100% accurate.