Output details
11 - Computer Science and Informatics
University of Dundee
Article title
An implicit characterization of PSPACE
Type
D - Journal article
Title of journal
ACM Transactions on Computational Logic
Article number
18
Volume number
13
Issue number
2
First page of article
-
ISSN of journal
1529-3785
Year of publication
2012
Number of additional authors
2
Additional information
<11> Developed in collaboration with a colleague in Italy and one in France, this paper presents the first implicit characterization of the complexity class PSPACE by means of a programming language using a linear type system. A preliminary version of this work has been presented at the conference Principles of Programming Languages (POPL 2008), the top venue for works in programming languages. The results of this work leaded to the CRISTAL project, collaborative project between the University of Torino and the LORIA lab in Nancy---funded by the French INRIA Associated Team program for 55k euro (2010-2012).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-