A type-free theory of half-monotone inductive definitions (1995)

by Y Kameyama
Venue:International Journal of Foundations of Computer Science