APA (7th ed.) Citation

Barbosa, J. L. A. (2016). Closed Types for Logic Programming.

Chicago Style (17th ed.) Citation

Barbosa, João Luís Alves. Closed Types for Logic Programming. 2016.

MLA (8th ed.) Citation

Barbosa, João Luís Alves. Closed Types for Logic Programming. 2016.

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