On recursive free types in Z (0)

by A Smith
Venue:In Nicholls [34