## Tree Tutorial 7: Type Labels, Sorts, Order Sorted Logic ['Mixed Domains']

2013

Howson[1997] mentions this in Chapter 5, under 'mixed domains'.

There is detailed explanation elsewhere.

And here are the exercises in the 'Howson' syntax.

Type notation for the Universal Quantifier.

If you can see this, your browser does not understand IFRAME.