Investigations on Higher-Order Infinitary Logic.

Thomas Traversi, Olivier Hermant, Marc Aiguier

Browse the full FSCD paper archive.