Type raising, continuations, and classical logic (2001)

by P de Groote
Venue:in Proceedings of the 13th Amsterdam Colloquium