@inproceedings{freek2010b,
	Author = {Herman Geuvers and  R. Krebbers and  J. McKinna & Freek Wiedijk},
	Booktitle = {Proceedings of the 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, EPTCS 34},
	Date-Added = {2014-11-16 23:01:35 +0000},
	Date-Modified = {2014-11-16 23:04:44 +0000},
	Editor = {K. Crary and M. Miculan},
	Pages = {53--67},
	Title = {Pure Type Systems without Explicit Contexts},
	Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/Gi-revised-final.pdf},
	Year = {2010}}

{"_id":"vEXW4vpt4baHmFBKG","bibbaseid":"geuvers-krebbers-wiedijk-puretypesystemswithoutexplicitcontexts-2010","author_short":["Geuvers, H.","Krebbers, R.","Wiedijk, J. M. & F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Krebbers"],"suffixes":[]},{"firstnames":["J.","McKinna","&","Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Proceedings of the 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, EPTCS 34","date-added":"2014-11-16 23:01:35 +0000","date-modified":"2014-11-16 23:04:44 +0000","editor":[{"firstnames":["K."],"propositions":[],"lastnames":["Crary"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Miculan"],"suffixes":[]}],"pages":"53–67","title":"Pure Type Systems without Explicit Contexts","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/Gi-revised-final.pdf","year":"2010","bibtex":"@inproceedings{freek2010b,\n\tAuthor = {Herman Geuvers and R. Krebbers and J. McKinna & Freek Wiedijk},\n\tBooktitle = {Proceedings of the 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, EPTCS 34},\n\tDate-Added = {2014-11-16 23:01:35 +0000},\n\tDate-Modified = {2014-11-16 23:04:44 +0000},\n\tEditor = {K. Crary and M. Miculan},\n\tPages = {53--67},\n\tTitle = {Pure Type Systems without Explicit Contexts},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/Gi-revised-final.pdf},\n\tYear = {2010}}\n\n","author_short":["Geuvers, H.","Krebbers, R.","Wiedijk, J. M. & F."],"editor_short":["Crary, K.","Miculan, M."],"key":"freek2010b","id":"freek2010b","bibbaseid":"geuvers-krebbers-wiedijk-puretypesystemswithoutexplicitcontexts-2010","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/Gi-revised-final.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["pure","type","systems","without","explicit","contexts","geuvers","krebbers","wiedijk"],"title":"Pure Type Systems without Explicit Contexts","year":2010}