- Publisher:
- Springer−Verlag
- Volume:
- 664
- Publication date:
- 1993-01-01
- URN:
-
uuid:65d7f1fd-cb8e-42cc-be3c-cdbeac92958f
- Local pid:
- cs:4701
- ISBN:
- 3-540-56517-5
- Copyright date:
- 1993
Conference item
Translating Dependent Type Theory into Higher Order Logic
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record