Matches in SemOpenAlex for { <https://semopenalex.org/work/W3089303239> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3089303239 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.
- W3089303239 created "2020-10-01" @default.
- W3089303239 creator A5002246166 @default.
- W3089303239 creator A5011321627 @default.
- W3089303239 creator A5017542172 @default.
- W3089303239 date "2020-09-23" @default.
- W3089303239 modified "2023-09-27" @default.
- W3089303239 title "Semantics of a Relational {lambda}-Calculus" @default.
- W3089303239 hasPublicationYear "2020" @default.
- W3089303239 type Work @default.
- W3089303239 sameAs 3089303239 @default.
- W3089303239 citedByCount "0" @default.
- W3089303239 crossrefType "posted-content" @default.
- W3089303239 hasAuthorship W3089303239A5002246166 @default.
- W3089303239 hasAuthorship W3089303239A5011321627 @default.
- W3089303239 hasAuthorship W3089303239A5017542172 @default.
- W3089303239 hasConcept C135790938 @default.
- W3089303239 hasConcept C136119220 @default.
- W3089303239 hasConcept C142156749 @default.
- W3089303239 hasConcept C156325763 @default.
- W3089303239 hasConcept C184337299 @default.
- W3089303239 hasConcept C199343813 @default.
- W3089303239 hasConcept C199360897 @default.
- W3089303239 hasConcept C202444582 @default.
- W3089303239 hasConcept C207648694 @default.
- W3089303239 hasConcept C2777686260 @default.
- W3089303239 hasConcept C33923547 @default.
- W3089303239 hasConcept C41008148 @default.
- W3089303239 hasConcept C42383842 @default.
- W3089303239 hasConcept C61237538 @default.
- W3089303239 hasConcept C71924100 @default.
- W3089303239 hasConcept C77736955 @default.
- W3089303239 hasConcept C80444323 @default.
- W3089303239 hasConcept C87365073 @default.
- W3089303239 hasConcept C89448276 @default.
- W3089303239 hasConcept C89497691 @default.
- W3089303239 hasConcept C96146094 @default.
- W3089303239 hasConceptScore W3089303239C135790938 @default.
- W3089303239 hasConceptScore W3089303239C136119220 @default.
- W3089303239 hasConceptScore W3089303239C142156749 @default.
- W3089303239 hasConceptScore W3089303239C156325763 @default.
- W3089303239 hasConceptScore W3089303239C184337299 @default.
- W3089303239 hasConceptScore W3089303239C199343813 @default.
- W3089303239 hasConceptScore W3089303239C199360897 @default.
- W3089303239 hasConceptScore W3089303239C202444582 @default.
- W3089303239 hasConceptScore W3089303239C207648694 @default.
- W3089303239 hasConceptScore W3089303239C2777686260 @default.
- W3089303239 hasConceptScore W3089303239C33923547 @default.
- W3089303239 hasConceptScore W3089303239C41008148 @default.
- W3089303239 hasConceptScore W3089303239C42383842 @default.
- W3089303239 hasConceptScore W3089303239C61237538 @default.
- W3089303239 hasConceptScore W3089303239C71924100 @default.
- W3089303239 hasConceptScore W3089303239C77736955 @default.
- W3089303239 hasConceptScore W3089303239C80444323 @default.
- W3089303239 hasConceptScore W3089303239C87365073 @default.
- W3089303239 hasConceptScore W3089303239C89448276 @default.
- W3089303239 hasConceptScore W3089303239C89497691 @default.
- W3089303239 hasConceptScore W3089303239C96146094 @default.
- W3089303239 hasLocation W30893032391 @default.
- W3089303239 hasOpenAccess W3089303239 @default.
- W3089303239 hasPrimaryLocation W30893032391 @default.
- W3089303239 hasRelatedWork W1482185827 @default.
- W3089303239 hasRelatedWork W1585954935 @default.
- W3089303239 hasRelatedWork W1769237108 @default.
- W3089303239 hasRelatedWork W1999732797 @default.
- W3089303239 hasRelatedWork W2077870744 @default.
- W3089303239 hasRelatedWork W2119552959 @default.
- W3089303239 hasRelatedWork W2159800742 @default.
- W3089303239 hasRelatedWork W2169655078 @default.
- W3089303239 hasRelatedWork W2201760732 @default.
- W3089303239 hasRelatedWork W2294527179 @default.
- W3089303239 hasRelatedWork W2660255895 @default.
- W3089303239 hasRelatedWork W2772565456 @default.
- W3089303239 hasRelatedWork W2803229276 @default.
- W3089303239 hasRelatedWork W2825557463 @default.
- W3089303239 hasRelatedWork W2915506276 @default.
- W3089303239 hasRelatedWork W2960903742 @default.
- W3089303239 hasRelatedWork W3089232200 @default.
- W3089303239 hasRelatedWork W3157107 @default.
- W3089303239 hasRelatedWork W3185587936 @default.
- W3089303239 hasRelatedWork W3109958542 @default.
- W3089303239 isParatext "false" @default.
- W3089303239 isRetracted "false" @default.
- W3089303239 magId "3089303239" @default.
- W3089303239 workType "article" @default.