The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Show other versions (1)
Detalhes bibliográficos
Autor principal: Melham, T
Formato: Journal article
Publicado em: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

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

Publicado em 1993
Conference item
Show all versions (2)

Registos relacionados