Translating Dependent Type Theory into Higher Order Logic

Bibliographic Details
Main Authors: Jacobs, B, Melham, T
Format: Conference item
Published: Springer−Verlag 1993
_version_ 1797072745740107776
author Jacobs, B
Melham, T
author_facet Jacobs, B
Melham, T
author_sort Jacobs, B
collection OXFORD
description
first_indexed 2024-03-06T23:12:07Z
format Conference item
id oxford-uuid:65d7f1fd-cb8e-42cc-be3c-cdbeac92958f
institution University of Oxford
last_indexed 2024-03-06T23:12:07Z
publishDate 1993
publisher Springer−Verlag
record_format dspace
spelling oxford-uuid:65d7f1fd-cb8e-42cc-be3c-cdbeac92958f2022-03-26T18:28:05ZTranslating Dependent Type Theory into Higher Order LogicConference itemhttp://purl.org/coar/resource_type/c_5794uuid:65d7f1fd-cb8e-42cc-be3c-cdbeac92958fDepartment of Computer ScienceSpringer−Verlag1993Jacobs, BMelham, T
spellingShingle Jacobs, B
Melham, T
Translating Dependent Type Theory into Higher Order Logic
title Translating Dependent Type Theory into Higher Order Logic
title_full Translating Dependent Type Theory into Higher Order Logic
title_fullStr Translating Dependent Type Theory into Higher Order Logic
title_full_unstemmed Translating Dependent Type Theory into Higher Order Logic
title_short Translating Dependent Type Theory into Higher Order Logic
title_sort translating dependent type theory into higher order logic
work_keys_str_mv AT jacobsb translatingdependenttypetheoryintohigherorderlogic
AT melhamt translatingdependenttypetheoryintohigherorderlogic