DMCA
Semantical Analysis of Higher-Order Syntax (1999)
by
Martin Hofmann
| Venue: | In 14th Annual Symposium on Logic in Computer Science |
| Citations: | 3 - 0 self |
BibTeX
@INPROCEEDINGS{Hofmann99semanticalanalysis,
author = {Martin Hofmann},
title = {Semantical Analysis of Higher-Order Syntax},
booktitle = {In 14th Annual Symposium on Logic in Computer Science},
year = {1999},
pages = {204--213},
publisher = {IEEE Computer Society Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper to advocate the use of functor categories as a semantic foundation of higher-order abstract syntax (HOAS). By way of example, we will show how functor categories can be used for at least the following applications:
