The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Weitere Versionen anzeigen (1)
Bibliographische Detailangaben
1. Verfasser: Melham, T
Format: Journal article
Veröffentlicht: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables von Melham, T

Veröffentlicht 1993
Conference item
Alle Versionen (2)

Ähnliche Einträge