The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Pokaži ostale verzije (1)

Bibliografski detalji
Glavni autor:	Melham, T
Format:	Journal article
Izdano:	1994

The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables od Melham, T

Izdano 1993

Conference item