Search

Fulltext results:

classtype

14 Hits, Last modified: 4 years ago

lasses|first-order class]], [[Second-order classes|second-order class]], [[Higher-order classes|higher-order class]].

properties

12 Hits, Last modified: 4 years ago

asses|first-order class]], [[second-order classes|second-order class]], higher-order class | ^[[Equational theory]]

index.html

9 Hits, Last modified: 9 months ago

start

9 Hits, Last modified: 9 months ago

second-order_classes

5 Hits, Last modified: 4 years ago