The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Показати інші версії (1)
Бібліографічні деталі
Автор: Melham, T
Формат: Journal article
Опубліковано: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables за авторством Melham, T

Опубліковано 1993
Conference item
Показати всі версії (2)

Схожі ресурси