The fixed point property in synthetic domain theory (1991)

by Paul Taylor
Venue:Logic in Computer Science 6