@proceedings{freek2002d,
	Date-Added = {2014-11-15 23:13:42 +0000},
	Date-Modified = {2014-11-15 23:15:24 +0000},
	Editor = {Herman Geuvers and Freek Wiedijk},
	Keywords = {Edited},
	Number = {2646},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Types for Proofs and Programs, International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002},
	Year = {2002}}

{"_id":"sL2proe2dzSC6qTe8","bibbaseid":"geuvers-wiedijk-typesforproofsandprogramsinternationalworkshoptypes2002bergendalthenetherlandsapril24282002-2002","bibdata":{"bibtype":"proceedings","type":"proceedings","date-added":"2014-11-15 23:13:42 +0000","date-modified":"2014-11-15 23:15:24 +0000","editor":[{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"keywords":"Edited","number":"2646","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Types for Proofs and Programs, International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002","year":"2002","bibtex":"@proceedings{freek2002d,\n\tDate-Added = {2014-11-15 23:13:42 +0000},\n\tDate-Modified = {2014-11-15 23:15:24 +0000},\n\tEditor = {Herman Geuvers and Freek Wiedijk},\n\tKeywords = {Edited},\n\tNumber = {2646},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Types for Proofs and Programs, International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002},\n\tYear = {2002}}\n\n","editor_short":["Geuvers, H.","Wiedijk, F."],"key":"freek2002d","id":"freek2002d","bibbaseid":"geuvers-wiedijk-typesforproofsandprogramsinternationalworkshoptypes2002bergendalthenetherlandsapril24282002-2002","role":"editor","urls":{},"keyword":["Edited"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"proceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":["edited"],"search_terms":["types","proofs","programs","international","workshop","types","2002","berg","dal","netherlands","april","2002"],"title":"Types for Proofs and Programs, International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002","year":2002}