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.
A logical framework with explicit conversions [pdf]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