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)

Схожие документы