The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Show other versions (1)
Detalles Bibliográficos
Autor Principal: Melham, T
Formato: Journal article
Publicado: 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 1993
Conference item
Show all versions (2)

Títulos similares