The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Mostra altre versioni (1)
Dettagli Bibliografici
Autore principale: Melham, T
Natura: Journal article
Pubblicazione: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

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

Pubblicazione 1993
Conference item
Mostra tutte le versioni (2)

Documenti analoghi