A Programming Language for the Inductive Sets, and Applications.

David Harel, Dexter Kozen

Browse the full ICALP paper archive.