A fixedpoint approach to implementing (co)inductive definitions (0)

by Lawrence C Paulson
Venue:of Lecture Notes in Computer Science