Polyadic Quantifiers on Dependent Types.

Marek W. Zawadowski, Justyna Grudzinska

Browse the full WoLLIC paper archive.