Skip to content

Call-by-Name and Call-by-Value in Normal Modal Logic.

Yoshihiko Kakutani

VenueBAPLAS
Year2007
ProceedingsAPLAS

Browse the full APLAS paper archive.