Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011181663> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2011181663 abstract "A proposal is described for embedding FP and a part of FFP into a system C(IN)V of Combinatory Logic generated by the 6-tuple of combinators (A,B,C*,O,L,D) under the operation of application. At the same time C(IN)V is viewed as an algebraic extension of elementary arithmetic, including addition multiplication and exponentiation, leading to a non commutative semi-ring with an infinity of zero (infinite)-like elements. Two interesting submonoids have been selected: Lº able to represent the set of FP-Sequences and L+ able to represent the set of FP-Constructions. All basic objects forming operators like Composition, Apply To All Condition and Insert Right are then efficiently expressed inside C(IN)V. The same is done for some operators belonging to FFP as Lifting and the APPLY of LISP establishing a basis for a future reduction (operational) semantics of FP." @default.
- W2011181663 created "2016-06-24" @default.
- W2011181663 creator A5086377181 @default.
- W2011181663 date "1982-01-01" @default.
- W2011181663 modified "2023-09-25" @default.
- W2011181663 title "Combinatory foundation of functional programming" @default.
- W2011181663 cites W1512502927 @default.
- W2011181663 cites W1963912067 @default.
- W2011181663 cites W1975851647 @default.
- W2011181663 cites W2004464341 @default.
- W2011181663 cites W2015477722 @default.
- W2011181663 cites W2018561559 @default.
- W2011181663 cites W2081112028 @default.
- W2011181663 cites W2172307690 @default.
- W2011181663 cites W2184268586 @default.
- W2011181663 doi "https://doi.org/10.1145/800068.802132" @default.
- W2011181663 hasPublicationYear "1982" @default.
- W2011181663 type Work @default.
- W2011181663 sameAs 2011181663 @default.
- W2011181663 citedByCount "7" @default.
- W2011181663 crossrefType "proceedings-article" @default.
- W2011181663 hasAuthorship W2011181663A5086377181 @default.
- W2011181663 hasConcept C104317684 @default.
- W2011181663 hasConcept C111335779 @default.
- W2011181663 hasConcept C114614502 @default.
- W2011181663 hasConcept C118615104 @default.
- W2011181663 hasConcept C134306372 @default.
- W2011181663 hasConcept C136119220 @default.
- W2011181663 hasConcept C158448853 @default.
- W2011181663 hasConcept C161491579 @default.
- W2011181663 hasConcept C17020691 @default.
- W2011181663 hasConcept C177264268 @default.
- W2011181663 hasConcept C178790620 @default.
- W2011181663 hasConcept C183778304 @default.
- W2011181663 hasConcept C185592680 @default.
- W2011181663 hasConcept C199360897 @default.
- W2011181663 hasConcept C202444582 @default.
- W2011181663 hasConcept C2524010 @default.
- W2011181663 hasConcept C2780378348 @default.
- W2011181663 hasConcept C2780595030 @default.
- W2011181663 hasConcept C33923547 @default.
- W2011181663 hasConcept C41008148 @default.
- W2011181663 hasConcept C55493867 @default.
- W2011181663 hasConcept C79678938 @default.
- W2011181663 hasConcept C81539297 @default.
- W2011181663 hasConcept C86339819 @default.
- W2011181663 hasConcept C94375191 @default.
- W2011181663 hasConceptScore W2011181663C104317684 @default.
- W2011181663 hasConceptScore W2011181663C111335779 @default.
- W2011181663 hasConceptScore W2011181663C114614502 @default.
- W2011181663 hasConceptScore W2011181663C118615104 @default.
- W2011181663 hasConceptScore W2011181663C134306372 @default.
- W2011181663 hasConceptScore W2011181663C136119220 @default.
- W2011181663 hasConceptScore W2011181663C158448853 @default.
- W2011181663 hasConceptScore W2011181663C161491579 @default.
- W2011181663 hasConceptScore W2011181663C17020691 @default.
- W2011181663 hasConceptScore W2011181663C177264268 @default.
- W2011181663 hasConceptScore W2011181663C178790620 @default.
- W2011181663 hasConceptScore W2011181663C183778304 @default.
- W2011181663 hasConceptScore W2011181663C185592680 @default.
- W2011181663 hasConceptScore W2011181663C199360897 @default.
- W2011181663 hasConceptScore W2011181663C202444582 @default.
- W2011181663 hasConceptScore W2011181663C2524010 @default.
- W2011181663 hasConceptScore W2011181663C2780378348 @default.
- W2011181663 hasConceptScore W2011181663C2780595030 @default.
- W2011181663 hasConceptScore W2011181663C33923547 @default.
- W2011181663 hasConceptScore W2011181663C41008148 @default.
- W2011181663 hasConceptScore W2011181663C55493867 @default.
- W2011181663 hasConceptScore W2011181663C79678938 @default.
- W2011181663 hasConceptScore W2011181663C81539297 @default.
- W2011181663 hasConceptScore W2011181663C86339819 @default.
- W2011181663 hasConceptScore W2011181663C94375191 @default.
- W2011181663 hasLocation W20111816631 @default.
- W2011181663 hasOpenAccess W2011181663 @default.
- W2011181663 hasPrimaryLocation W20111816631 @default.
- W2011181663 hasRelatedWork W144239219 @default.
- W2011181663 hasRelatedWork W144260690 @default.
- W2011181663 hasRelatedWork W2042181093 @default.
- W2011181663 hasRelatedWork W2095853682 @default.
- W2011181663 hasRelatedWork W2119606669 @default.
- W2011181663 hasRelatedWork W2131691859 @default.
- W2011181663 hasRelatedWork W2332035908 @default.
- W2011181663 hasRelatedWork W2981042642 @default.
- W2011181663 hasRelatedWork W3003252680 @default.
- W2011181663 hasRelatedWork W4363649707 @default.
- W2011181663 isParatext "false" @default.
- W2011181663 isRetracted "false" @default.
- W2011181663 magId "2011181663" @default.
- W2011181663 workType "article" @default.