Output details
11 - Computer Science and Informatics
University of Bath
Output title
Coalgebraic semantics for derivations in logic programming
Type
E - Conference contribution
Name of conference/published proceedings
Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchetser, UK, August 30 - September 2, 2011. Proceedings
Volume number
6859
Issue number
-
First page of article
268
ISSN of proceedings
0302-9743
Year of publication
2011
Number of additional authors
1
Additional information
<10>This paper underpins the work of Bonchi and Zanasi which won the "Best Paper" award at CALCO 2013. It also led to the £300k EPSRC project "COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages" which supports continued collaboration between the authors.
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
-
