An inside view of exp (1992)

by A Visser
Venue:The Journal of Symbolic Logic