An FP Domain with Infinite Objects.
Teresa A. Thomas, Donald F. Stanat
VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/ThomasS85 ↗
Browse the full MFPS paper archive.
Teresa A. Thomas, Donald F. Stanat
Browse the full MFPS paper archive.