Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569531568> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1569531568 endingPage "79" @default.
- W1569531568 startingPage "66" @default.
- W1569531568 abstract "The non-deterministic lambda-calculus is a tiny core language in terms of which all the declaratively understood constructs of constraint functional languages may be defined. This paper describes a denotational semantics based on lower powerdomains, and a polymorphic type system. The calculus has a confluent operational semantics, which may be formulated in several ways—an extension of de Bruijn’s calculus is used here. More useful language constructs may be defined in terms of the core language. The aim of this translation is not to give an implementation—higher-level languages will typically provide efficient implementations of the specific features they provide. Rather the translation to the core language gives a semantics for the higher-level constructs, and provides a standard against which their implementations may be judged. Similarly, transformations at the higher-level may be justified by translating them to transformations proved correct for the core." @default.
- W1569531568 created "2016-06-24" @default.
- W1569531568 creator A5013758319 @default.
- W1569531568 date "1992-01-01" @default.
- W1569531568 modified "2023-09-24" @default.
- W1569531568 title "A Tiny Functional Language with Logical Features" @default.
- W1569531568 cites W1986227685 @default.
- W1569531568 cites W2015114614 @default.
- W1569531568 cites W2023299380 @default.
- W1569531568 cites W2037785443 @default.
- W1569531568 cites W2166822586 @default.
- W1569531568 cites W4213381987 @default.
- W1569531568 doi "https://doi.org/10.1007/978-1-4471-3794-8_5" @default.
- W1569531568 hasPublicationYear "1992" @default.
- W1569531568 type Work @default.
- W1569531568 sameAs 1569531568 @default.
- W1569531568 citedByCount "4" @default.
- W1569531568 crossrefType "book-chapter" @default.
- W1569531568 hasAuthorship W1569531568A5013758319 @default.
- W1569531568 hasConcept C135790938 @default.
- W1569531568 hasConcept C142156749 @default.
- W1569531568 hasConcept C156325763 @default.
- W1569531568 hasConcept C184337299 @default.
- W1569531568 hasConcept C199360897 @default.
- W1569531568 hasConcept C207648694 @default.
- W1569531568 hasConcept C2164484 @default.
- W1569531568 hasConcept C26713055 @default.
- W1569531568 hasConcept C41008148 @default.
- W1569531568 hasConcept C42383842 @default.
- W1569531568 hasConcept C61237538 @default.
- W1569531568 hasConcept C76155785 @default.
- W1569531568 hasConcept C80444323 @default.
- W1569531568 hasConcept C87365073 @default.
- W1569531568 hasConcept C89448276 @default.
- W1569531568 hasConceptScore W1569531568C135790938 @default.
- W1569531568 hasConceptScore W1569531568C142156749 @default.
- W1569531568 hasConceptScore W1569531568C156325763 @default.
- W1569531568 hasConceptScore W1569531568C184337299 @default.
- W1569531568 hasConceptScore W1569531568C199360897 @default.
- W1569531568 hasConceptScore W1569531568C207648694 @default.
- W1569531568 hasConceptScore W1569531568C2164484 @default.
- W1569531568 hasConceptScore W1569531568C26713055 @default.
- W1569531568 hasConceptScore W1569531568C41008148 @default.
- W1569531568 hasConceptScore W1569531568C42383842 @default.
- W1569531568 hasConceptScore W1569531568C61237538 @default.
- W1569531568 hasConceptScore W1569531568C76155785 @default.
- W1569531568 hasConceptScore W1569531568C80444323 @default.
- W1569531568 hasConceptScore W1569531568C87365073 @default.
- W1569531568 hasConceptScore W1569531568C89448276 @default.
- W1569531568 hasLocation W15695315681 @default.
- W1569531568 hasOpenAccess W1569531568 @default.
- W1569531568 hasPrimaryLocation W15695315681 @default.
- W1569531568 hasRelatedWork W1500490537 @default.
- W1569531568 hasRelatedWork W1550247298 @default.
- W1569531568 hasRelatedWork W1569531568 @default.
- W1569531568 hasRelatedWork W2274044774 @default.
- W1569531568 hasRelatedWork W2754782259 @default.
- W1569531568 hasRelatedWork W3089232200 @default.
- W1569531568 hasRelatedWork W3089303239 @default.
- W1569531568 hasRelatedWork W3138070738 @default.
- W1569531568 hasRelatedWork W783270985 @default.
- W1569531568 hasRelatedWork W1958334269 @default.
- W1569531568 isParatext "false" @default.
- W1569531568 isRetracted "false" @default.
- W1569531568 magId "1569531568" @default.
- W1569531568 workType "book-chapter" @default.