Sign in
Galois connecting call-by-value and call-by-name.
Dylan McDermott
Alan Mycroft
Published in:
Log. Methods Comput. Sci. (2024)
Keyphrases
</>