A General Semantics for Evaluation Logic (1994)

by Eugenio Moggi
Venue:Fundamenta Informaticae
Citations:19 - 3 self