APA (7th ed.) Citation

Vákár, M. (2014). Syntax and Semantics of Linear Dependent Types.

Chicago Style (17th ed.) Citation

Vákár, Matthijs. Syntax and Semantics of Linear Dependent Types. 2014.

MLA (9th ed.) Citation

Vákár, Matthijs. Syntax and Semantics of Linear Dependent Types. 2014.

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