loading...
Second-Order and Dependently-Sorted Abstract Syntax
June 24-June 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2008.382008 23rd Annual IEEE Symposium on Lo ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Marcelo Fiore, "Second-Order and Dependently-Sorted Abstract Syntax," Logic in Computer Science, Symposium on, pp. 57-68, 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008.
 
 
BibTex
x
 
@article{ 10.1109/LICS.2008.38,
author = {Marcelo Fiore},
title = {Second-Order and Dependently-Sorted Abstract Syntax},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2008},
issn = {1043-6871},
pages = {57-68},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.38},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Second-Order and Dependently-Sorted Abstract Syntax
SN - 1043-6871
SP57
EP68
A1 - Marcelo Fiore,
PY - 2008
KW - abstract syntax
KW - second-order syntax
KW - dependently-sorted syntax
KW - alpha-equivalence
KW - variable binding
KW - substitution
KW - metavariable
KW - meta-substitution
KW - categorical algebra
VL - 0
JA - Logic in Computer Science, Symposium on
ER -
 
The paper develops a mathematical theory in the spirit of categorical algebra that provides a model theory for second-order and dependently-sorted syntax.??The theory embodies notions such as alpha-equivalence, variable binding, capture-avoiding simultaneous substitution, term metavariable, meta-substitution, mono and multi sorting, and sort dependency.??As a matter of illustration, a model is used to extract a second-order syntactic theory, which is thus guaranteed to be correct by construction.
Index Terms:
abstract syntax, second-order syntax, dependently-sorted syntax, alpha-equivalence, variable binding, substitution, metavariable, meta-substitution, categorical algebra
Citation:
Marcelo Fiore, "Second-Order and Dependently-Sorted Abstract Syntax," lics, pp.57-68, 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008
Usage of this product signifies your acceptance of the Terms of Use.