Conference item icon

Conference item

The HOL Logic Extended with Quantification over Type Variables

Actions


Authors


Publisher:
North−Holland
Host title:
Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications − HOL '92: Leuven‚ Belgium‚ 21–24 September 1992
Volume:
20
Publication date:
1993-01-01
ISSN:
0926-5473
ISBN:
0444898808
UUID:
uuid:62e3aaa0-4c43-4a5d-ba07-8b6bfea7607e
Local pid:
cs:4700
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP