Conference item
Translating Dependent Type Theory into Higher Order Logic
Actions
Authors
Bibliographic Details
- Publisher:
- Springer−Verlag
- Volume:
- 664
- Host title:
- Typed Lambda Calculi and Applications: International Conference on Typed Lamda Calculi and Applications: TLCA '93: March‚ 16–18‚ 1993‚ Utrecht‚ The Netherlands: Proceedings
- Publication date:
- 1993-01-01
- ISBN:
- 3540565175
Item Description
- UUID:
-
uuid:65d7f1fd-cb8e-42cc-be3c-cdbeac92958f
- Local pid:
- cs:4701
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 1993
If you are the owner of this record, you can report an update to it here: Report update to this record