Output details
11 - Computer Science and Informatics
University of Bath
Return to search
Output 0 of 0 in the submission
Article title
Constructing differential categories and deconstructing categories of games
Type
D - Journal article
Title of journal
Information and Computation
Article number
-
Volume number
222
Issue number
-
First page of article
247
ISSN of journal
0890-5401
Year of publication
2013
Number of additional authors
2
Additional information
<10>This is a full version of a paper with the same title that appeared in the proceedings of ICALP 2011 (doi 10.1007/978-3-642-22012-8_14) one of the top five theory conferences according to Microsoft Academic Search.
The work provides a rich source and analysis of resource-sensitive models of programs. This line of work led to our later development of weighted relational models of programs (Laird, McCusker, Manzonetto,Pagani 2013) and to the EUR 256K project "Computing With Quantitative Semantics" funded by France's Agence Nationale de le Recherche (held by Pagani).
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
