Stateless Higher-Order Logic with Quantified Types.

Evan Austin, Perry Alexander

Browse the full ITP paper archive.