The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Show other versions (1)
Xehetasun bibliografikoak
Egile nagusia: Melham, T
Formatua: Journal article
Argitaratua: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

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

Argitaratua 1993
Conference item
Show all versions (2)

Antzeko izenburuak