You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Sussex » Outputs » Detail

Output details

11 - Computer Science and Informatics

Output 36 of 57 in the submission

Article title

Logical Reasoning for Higher-Order Functions with Local State

Type

D - Journal article

DOI

Title of journal

Logical Methods in Computer Science

Article number

Volume number

Issue number

First page of article

ISSN of journal

1860-5974

Year of publication

2008

URL

Number of additional authors

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

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract