The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Mostrar otras versiones (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
Mostrar todas las versiones(2)

Ejemplares similares