Login / Signup

A General Semantics for Evaluation Logic

Eugenio Moggi
Published in: LICS (1994)
Keyphrases