Equivalence of two fixed-point semantics for definitional higher-order logic programs

Two distinct research approaches have been proposed for assigning extensional semantics to higher-order logic programming. The former approach [11] uses classical domain-theoretic tools while the latter [1] builds on a fixed-point construction defined on a syntactic instantiation of the source progr...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 668; s. 27 - 42
Hlavní autoři:	Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 15.03.2017
Témata:	Extensional higher-order logic programming Semantics of logic programming Extensional higher-order logic programming Semantics of logic programming
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!