<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6046</REFNUM><AUTHORS><AUTHOR>Jacobs,B.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1993</YEAR><TITLE>Translating Dependent Type Theory into Higher Order Logic</TITLE><PLACE_PUBLISHED>Typed Lambda Calculi and Applications: Proceedings of the International Conference, Utrecht, March 1993. Series, Lecture Notes in Computer Science. Vol 664 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>209-229</PAGES><LABEL>Jacobs:1993:6046</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>