Operational Semantics for Functional Log
β
Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver; GermΓ‘n Vidal
π
Article
π
2002
π
Elsevier Science
π
English
β 209 KB