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

Output details

11 - Computer Science and Informatics

University of Cambridge

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

Second-order and dependently-sorted abstract syntax

Type

E - Conference contribution

DOI

10.1109/LICS.2008.38

Name of conference/published proceedings

Twenty-Third Annual IEEE Symposium on Logic in Computer Science

Volume number

Issue number

First page of article

ISSN of proceedings

Year of publication

2008

URL

http://ieeexplore.ieee.org/

Number of additional authors

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

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract