Purely applicative characterizations of complexity classes (Extended Abstract)”, typescript (1992)

by D Leivant, J-Y Marion
Venue:Feb. 9