Output details
11 - Computer Science and Informatics
University of Sussex
Return to search
Output 0 of 0 in the submission
Article title
Logical Reasoning for Higher-Order Functions with Local State
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
-
Volume number
4
Issue number
4
First page of article
1
ISSN of journal
1860-5974
Year of publication
2008
Number of additional authors
2
Additional information
<11>Logical Methods in Computer Science is the leading open access international journal in theoretical computer science.
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Foundations of Software Systems
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-