The equational logic of fixed points (0)

by S L Bloom, Z Ésik
Venue:Theoretical Computer Science