DaftarIsitemplate

Call Number

SEM-374

Title

Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion (181-201)

Author

Masayuki Mizuno Eijiro Sumii;

Publisher

Subject

Location