FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3089232200> ?p ?o ?g. }

• W3089232200 abstract "We extend the {lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify {lambda}-expressions and still obtain a confluent theory, we depart from related approaches, such as {lambda}Prolog, in that we do not attempt to solve higher-order unification. Instead, abstractions are decorated with a location, which intuitively may be understood as its memory address, and we impose a simple coherence invariant: abstractions in the same location must be equal. This allows us to formulate a confluent small-step operational semantics which only performs first-order unification and does not require strong evaluation (below lambdas). We study a simply typed version of the system. Moreover, a denotational semantics for the calculus is proposed and reduction is shown to be sound with respect to the denotational semantics." @default.
• W3089232200 created "2020-10-01" @default.
• W3089232200 creator A5002246166 @default.
• W3089232200 creator A5011321627 @default.
• W3089232200 creator A5017542172 @default.
• W3089232200 date "2020-09-23" @default.
• W3089232200 modified "2023-09-27" @default.
• W3089232200 title "Semantics of a Relational {lambda}-Calculus (Extended Version)" @default.
• W3089232200 cites W1511834278 @default.
• W3089232200 cites W1546532908 @default.
• W3089232200 cites W1549942386 @default.
• W3089232200 cites W1583295953 @default.
• W3089232200 cites W1614282869 @default.
• W3089232200 cites W173646946 @default.
• W3089232200 cites W1982243747 @default.
• W3089232200 cites W2021654650 @default.
• W3089232200 cites W2022647944 @default.
• W3089232200 cites W2023266231 @default.
• W3089232200 cites W2034676877 @default.
• W3089232200 cites W2038167131 @default.
• W3089232200 cites W2050509196 @default.
• W3089232200 cites W2075352622 @default.
• W3089232200 cites W2112776683 @default.
• W3089232200 cites W2113722134 @default.
• W3089232200 cites W2140495302 @default.
• W3089232200 cites W2149314483 @default.
• W3089232200 cites W2149742379 @default.
• W3089232200 cites W2150481709 @default.
• W3089232200 cites W2154273644 @default.
• W3089232200 cites W2157446355 @default.
• W3089232200 cites W2165434002 @default.
• W3089232200 cites W2166822586 @default.
• W3089232200 cites W2398664406 @default.
• W3089232200 cites W2464440796 @default.
• W3089232200 cites W2912255765 @default.
• W3089232200 cites W2920715361 @default.
• W3089232200 cites W2966331684 @default.
• W3089232200 cites W46734479 @default.
• W3089232200 cites W68427271 @default.
• W3089232200 hasPublicationYear "2020" @default.
• W3089232200 type Work @default.
• W3089232200 sameAs 3089232200 @default.
• W3089232200 citedByCount "0" @default.
• W3089232200 crossrefType "posted-content" @default.
• W3089232200 hasAuthorship W3089232200A5002246166 @default.
• W3089232200 hasAuthorship W3089232200A5011321627 @default.
• W3089232200 hasAuthorship W3089232200A5017542172 @default.
• W3089232200 hasConcept C135790938 @default.
• W3089232200 hasConcept C136119220 @default.
• W3089232200 hasConcept C142156749 @default.
• W3089232200 hasConcept C156325763 @default.
• W3089232200 hasConcept C184337299 @default.
• W3089232200 hasConcept C199343813 @default.
• W3089232200 hasConcept C199360897 @default.
• W3089232200 hasConcept C202444582 @default.
• W3089232200 hasConcept C207648694 @default.
• W3089232200 hasConcept C2777686260 @default.
• W3089232200 hasConcept C33923547 @default.
• W3089232200 hasConcept C41008148 @default.
• W3089232200 hasConcept C42383842 @default.
• W3089232200 hasConcept C61237538 @default.
• W3089232200 hasConcept C71924100 @default.
• W3089232200 hasConcept C77736955 @default.
• W3089232200 hasConcept C87365073 @default.
• W3089232200 hasConcept C89448276 @default.
• W3089232200 hasConcept C89497691 @default.
• W3089232200 hasConcept C96146094 @default.
• W3089232200 hasConceptScore W3089232200C135790938 @default.
• W3089232200 hasConceptScore W3089232200C136119220 @default.
• W3089232200 hasConceptScore W3089232200C142156749 @default.
• W3089232200 hasConceptScore W3089232200C156325763 @default.
• W3089232200 hasConceptScore W3089232200C184337299 @default.
• W3089232200 hasConceptScore W3089232200C199343813 @default.
• W3089232200 hasConceptScore W3089232200C199360897 @default.
• W3089232200 hasConceptScore W3089232200C202444582 @default.
• W3089232200 hasConceptScore W3089232200C207648694 @default.
• W3089232200 hasConceptScore W3089232200C2777686260 @default.
• W3089232200 hasConceptScore W3089232200C33923547 @default.
• W3089232200 hasConceptScore W3089232200C41008148 @default.
• W3089232200 hasConceptScore W3089232200C42383842 @default.
• W3089232200 hasConceptScore W3089232200C61237538 @default.
• W3089232200 hasConceptScore W3089232200C71924100 @default.
• W3089232200 hasConceptScore W3089232200C77736955 @default.
• W3089232200 hasConceptScore W3089232200C87365073 @default.
• W3089232200 hasConceptScore W3089232200C89448276 @default.
• W3089232200 hasConceptScore W3089232200C89497691 @default.
• W3089232200 hasConceptScore W3089232200C96146094 @default.
• W3089232200 hasLocation W30892322001 @default.
• W3089232200 hasOpenAccess W3089232200 @default.
• W3089232200 hasPrimaryLocation W30892322001 @default.
• W3089232200 hasRelatedWork W1482185827 @default.
• W3089232200 hasRelatedWork W1585954935 @default.
• W3089232200 hasRelatedWork W1769237108 @default.
• W3089232200 hasRelatedWork W1999732797 @default.
• W3089232200 hasRelatedWork W2054299141 @default.
• W3089232200 hasRelatedWork W2077870744 @default.
• W3089232200 hasRelatedWork W2117781657 @default.
• W3089232200 hasRelatedWork W2119552959 @default.
• W3089232200 hasRelatedWork W2159800742 @default.
• W3089232200 hasRelatedWork W2169655078 @default.

• next