APA (7th ed.) Citation

Cave, A., & Pientka, B. (2015). A Case Study on Logical Relations using Contextual Types. Electronic Proceedings in Theoretical Computer Science, 185, 33.

Chicago Style (17th ed.) Citation

Cave, Andrew, and Brigitte Pientka. "A Case Study on Logical Relations Using Contextual Types." Electronic Proceedings in Theoretical Computer Science 185 (2015): 33.

MLA (9th ed.) Citation

Cave, Andrew, and Brigitte Pientka. "A Case Study on Logical Relations Using Contextual Types." Electronic Proceedings in Theoretical Computer Science, vol. 185, 2015, p. 33.