The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Veure altres versions (1)
Dades bibliogràfiques
Autor principal: Melham, T
Format: Journal article
Publicat: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

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

Publicat 1993
Conference item
Veure totes les versions (2)

Ítems similars