Generalization of Final Algebra Semantics by Relativization.
Lawrence S. Moss, Satish R. Thatte
VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/MossT89 ↗
Browse the full MFPS paper archive.
Lawrence S. Moss, Satish R. Thatte
Browse the full MFPS paper archive.