DocumentCode :
342857
Title :
Semantical analysis of higher-order abstract syntax
Author :
Hofmann, Martin
Author_Institution :
LFCS Edinburgh, UK
fYear :
1999
fDate :
1999
Firstpage :
204
Lastpage :
213
Abstract :
A functor category semantics for higher-order abstract syntax is proposed with the following aims: relating higher order and first order syntax, justifying induction principles, suggesting new logical principles to reason about higher-order syntax
Keywords :
formal languages; semantic networks; first order syntax; functor category semantics; higher-order abstract syntax; induction principles; logical principles; semantical analysis; Calculus; Computer languages; Encoding; Reactive power;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 1999. Proceedings. 14th Symposium on
Conference_Location :
Trento
ISSN :
1043-6871
Print_ISBN :
0-7695-0158-3
Type :
conf
DOI :
10.1109/LICS.1999.782616
Filename :
782616
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=342857
بازگشت