Strongly Normalizing Higher-Order Relational Queries.

Wilmer Ricciotti, James Cheney

Browse the full FSCD paper archive.