A logical framework with explicit conversions. Geuvers, H. & Wiedijk, F. In LFM'04, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, pages 32–45, 2004. Pdf bibtex @inproceedings{freek2004b,
Author = {Herman Geuvers and Freek Wiedijk},
Booktitle = {LFM'04, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland},
Date-Added = {2014-11-15 23:19:27 +0000},
Date-Modified = {2014-11-15 23:22:52 +0000},
Editor = {Carsten Sch{\"u}rmann},
Pages = {32--45},
Title = {A logical framework with explicit conversions},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/LambdaF.pdf},
Year = {2004}}
Downloads: 0
{"_id":"FpZN5PxmfGAiJSHR3","authorIDs":[],"author_short":["Geuvers, H.","Wiedijk, F."],"bibbaseid":"geuvers-wiedijk-alogicalframeworkwithexplicitconversions-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"LFM'04, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland","date-added":"2014-11-15 23:19:27 +0000","date-modified":"2014-11-15 23:22:52 +0000","editor":[{"firstnames":["Carsten"],"propositions":[],"lastnames":["Schürmann"],"suffixes":[]}],"pages":"32–45","title":"A logical framework with explicit conversions","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/LambdaF.pdf","year":"2004","bibtex":"@inproceedings{freek2004b,\n\tAuthor = {Herman Geuvers and Freek Wiedijk},\n\tBooktitle = {LFM'04, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland},\n\tDate-Added = {2014-11-15 23:19:27 +0000},\n\tDate-Modified = {2014-11-15 23:22:52 +0000},\n\tEditor = {Carsten Sch{\\\"u}rmann},\n\tPages = {32--45},\n\tTitle = {A logical framework with explicit conversions},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/LambdaF.pdf},\n\tYear = {2004}}\n\n","author_short":["Geuvers, H.","Wiedijk, F."],"editor_short":["Schürmann, C."],"key":"freek2004b","id":"freek2004b","bibbaseid":"geuvers-wiedijk-alogicalframeworkwithexplicitconversions-2004","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/LambdaF.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","creationDate":"2014-11-16T23:25:53.918Z","downloads":0,"keywords":[],"search_terms":["logical","framework","explicit","conversions","geuvers","wiedijk"],"title":"A logical framework with explicit conversions","year":2004,"dataSources":["dCR2SmaT7gnYejraT"]}