Pseudo-retract functors for local lattices and bifinte L-domains

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040267 ◽

2006 ◽

pp. 351-363 ◽

Cited By ~ 1

Author(s):

Elsa L. Gunter