@Inproceedings{EPTCS185.3, author = {Cave, Andrew and Pientka, Brigitte}, year = {2015}, title = {A Case Study on Logical Relations using Contextual Types}, editor = {Cervesato, Iliano and Chaudhuri, Kaustuv}, booktitle = {{\rm Proceedings Tenth International Workshop on} Logical Frameworks and Meta Languages: Theory and Practice, {\rm Berlin, Germany, 1 August 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {185}, publisher = {Open Publishing Association}, pages = {33-45}, doi = {10.4204/EPTCS.185.3}, }