The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Mostrar outras versões (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
Mostrar todas as versões (2)

Registros relacionados