Paper: Semantical Analysis of Higher-Order Abstract Syntax (at LICS 1999)
Authors: Martin HofmannAbstract
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
BibTeX
@InProceedings{Hofmann-SemanticalAnalysiso, author = {Martin Hofmann}, title = {Semantical Analysis of Higher-Order Abstract Syntax}, booktitle = {Proceedings of the Fourteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1999}, year = 1999, editor = {Giuseppe Longo}, month = {July}, pages = {204--213}, location = {Trento, Italy}, publisher = {IEEE Computer Society Press} }