Cave, A., & Pientka, B. (2015). A Case Study on Logical Relations using Contextual Types. Open Publishing Association.
Chicago Style (17th ed.) CitationCave, Andrew, and Brigitte Pientka. A Case Study on Logical Relations Using Contextual Types. Open Publishing Association, 2015.
MLA (8th ed.) CitationCave, Andrew, and Brigitte Pientka. A Case Study on Logical Relations Using Contextual Types. Open Publishing Association, 2015.
Warning: These citations may not always be 100% accurate.