Structural induction and coinduction in a setting (1998)

by C Hermida, B Jacobs
Venue:Inf. & Comp