The HOL Logic Extended with Quantification over Type Variables
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Conference item |
| Publicerad: |
North−Holland
1993
|
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Conference item |
| Publicerad: |
North−Holland
1993
|