Logical Reasoning for Higher-Order Functions with Local State

Yoshida N, Honda K, Berger M
2008
Journal article
Journal:
Logical Methods in Computer Science
Volume:
Volume 4, Issue 4
,
Centre pour la Communication Scientifique Directe (CCSD)
No abstract available
Keywords:

46 Information and Computing Sciences

,

4602 Artificial Intelligence

DOI
10.2168/lmcs-4(4:2)2008