Skip to content

M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract).

Robert Muller

VenueCPEPM
Year1991
ProceedingsPEPM

Browse the full PEPM paper archive.