Search

Fulltext results:

classtype

14 Hits, Last modified: 22 months ago

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

properties

12 Hits, Last modified: 22 months ago

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

start

9 Hits, Last modified: 19 months ago

index.html

9 Hits, Last modified: 22 months ago

second-order_classes

5 Hits, Last modified: 22 months ago