An Inside View of Exp (1992)

by A Visser
Venue:Journal of Symbolic Logic