Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Publikationen / Semantical Analysis of Higher-Order Abstract Syntax


Inhaltsbereich

Martin Hofmann (1999)

Semantical Analysis of Higher-Order Abstract Syntax

In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 204-213, IEEE Computer Society (ISBN: 0-7695-0158-3).

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.

Artikelaktionen


Funktionsleiste