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