APA (7th ed.) Citation

Capriotti, P. (2017). Models of type theory with strict equality.

Chicago Style (17th ed.) Citation

Capriotti, Paolo. Models of Type Theory with Strict Equality. 2017.

MLA (9th ed.) Citation

Capriotti, Paolo. Models of Type Theory with Strict Equality. 2017.

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