Translating Dependent Type Theory into Higher Order Logic
Main Authors: | , |
---|---|
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 |