Induction in the Elementary Theory of Types and Names.

Gerhard Jger

Browse the full CSL paper archive.