The HOL Logic Extended with Quantification over Type Variables
| Автор: | |
|---|---|
| Формат: | Journal article |
| Опубліковано: |
1994
|
| _version_ | 1826289167173156864 |
|---|---|
| author | Melham, T |
| author_facet | Melham, T |
| author_sort | Melham, T |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T02:24:46Z |
| format | Journal article |
| id | oxford-uuid:a53672ae-686f-424f-a1a7-29de1e2d9b80 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:24:46Z |
| publishDate | 1994 |
| record_format | dspace |
| spelling | oxford-uuid:a53672ae-686f-424f-a1a7-29de1e2d9b802022-03-27T02:38:53ZThe HOL Logic Extended with Quantification over Type VariablesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:a53672ae-686f-424f-a1a7-29de1e2d9b80Department of Computer Science1994Melham, T |
| spellingShingle | Melham, T The HOL Logic Extended with Quantification over Type Variables |
| title | The HOL Logic Extended with Quantification over Type Variables |
| title_full | The HOL Logic Extended with Quantification over Type Variables |
| title_fullStr | The HOL Logic Extended with Quantification over Type Variables |
| title_full_unstemmed | The HOL Logic Extended with Quantification over Type Variables |
| title_short | The HOL Logic Extended with Quantification over Type Variables |
| title_sort | hol logic extended with quantification over type variables |
| work_keys_str_mv | AT melhamt thehollogicextendedwithquantificationovertypevariables AT melhamt hollogicextendedwithquantificationovertypevariables |