@Inproceedings{EPTCS34.6, author = {Geuvers, Herman and Krebbers, Robbert and McKinna, James and Wiedijk, Freek}, year = {2010}, title = {Pure Type Systems without Explicit Contexts}, editor = {Crary, Karl and Miculan, Marino}, booktitle = {{\rm Proceedings 5th International Workshop on} Logical Frameworks and Meta-languages: Theory and Practice, {\rm Edinburgh, UK, 14th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {34}, publisher = {Open Publishing Association}, pages = {53-67}, doi = {10.4204/EPTCS.34.6}, }