Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract).

Conor McBride

Browse the full CALCO paper archive.