Partial inductive de (1991)

by L Hallnas
Venue:Theoretical Computer Science