Partial inductive definitions (1991)

by L Hallnäs
Venue:Theoretical Computer Science