Output details
11 - Computer Science and Informatics
University of Cambridge
Output title
Second-order and dependently-sorted abstract syntax
Type
E - Conference contribution
Name of conference/published proceedings
Twenty-Third Annual IEEE Symposium on Logic in Computer Science
Volume number
-
Issue number
-
First page of article
57
ISSN of proceedings
-
Year of publication
2008
Number of additional authors
0
Additional information
<10> LICS is the top conference series for research in Logic In Computer Science. This paper presents a significant extension of the theory of abstract syntax, both for variable binding with parameterised metavariables and for term dependency in sorts.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Programming, logic and semantics
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-