Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406592842> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2406592842 endingPage "363" @default.
- W2406592842 startingPage "321" @default.
- W2406592842 abstract "Publisher Summary This chapter discusses lambda calculus and explains how this system is able to capture all computable functions. Once a reduction strategy is chosen, the behavior of a term is determined. This gives a so-called operational semantics. The chapter presents the meaning of a λ -term, which is given by translating it to a set [M]. This set is an element of a mathematical structure in which application and abstraction are well-defined operations. In this way, a so-called denotational semantics is obtained." @default.
- W2406592842 created "2016-06-24" @default.
- W2406592842 creator A5084371743 @default.
- W2406592842 date "1990-01-01" @default.
- W2406592842 modified "2023-09-23" @default.
- W2406592842 title "Functional programming and lambda calculus" @default.
- W2406592842 hasPublicationYear "1990" @default.
- W2406592842 type Work @default.
- W2406592842 sameAs 2406592842 @default.
- W2406592842 citedByCount "16" @default.
- W2406592842 countsByYear W24065928422014 @default.
- W2406592842 countsByYear W24065928422021 @default.
- W2406592842 crossrefType "journal-article" @default.
- W2406592842 hasAuthorship W2406592842A5084371743 @default.
- W2406592842 hasConcept C111472728 @default.
- W2406592842 hasConcept C118615104 @default.
- W2406592842 hasConcept C121332964 @default.
- W2406592842 hasConcept C124304363 @default.
- W2406592842 hasConcept C135790938 @default.
- W2406592842 hasConcept C136119220 @default.
- W2406592842 hasConcept C138885662 @default.
- W2406592842 hasConcept C156325763 @default.
- W2406592842 hasConcept C177264268 @default.
- W2406592842 hasConcept C184337299 @default.
- W2406592842 hasConcept C199343813 @default.
- W2406592842 hasConcept C199360897 @default.
- W2406592842 hasConcept C202444582 @default.
- W2406592842 hasConcept C207648694 @default.
- W2406592842 hasConcept C2777686260 @default.
- W2406592842 hasConcept C33923547 @default.
- W2406592842 hasConcept C41008148 @default.
- W2406592842 hasConcept C42383842 @default.
- W2406592842 hasConcept C61797465 @default.
- W2406592842 hasConcept C62520636 @default.
- W2406592842 hasConcept C71924100 @default.
- W2406592842 hasConcept C87365073 @default.
- W2406592842 hasConceptScore W2406592842C111472728 @default.
- W2406592842 hasConceptScore W2406592842C118615104 @default.
- W2406592842 hasConceptScore W2406592842C121332964 @default.
- W2406592842 hasConceptScore W2406592842C124304363 @default.
- W2406592842 hasConceptScore W2406592842C135790938 @default.
- W2406592842 hasConceptScore W2406592842C136119220 @default.
- W2406592842 hasConceptScore W2406592842C138885662 @default.
- W2406592842 hasConceptScore W2406592842C156325763 @default.
- W2406592842 hasConceptScore W2406592842C177264268 @default.
- W2406592842 hasConceptScore W2406592842C184337299 @default.
- W2406592842 hasConceptScore W2406592842C199343813 @default.
- W2406592842 hasConceptScore W2406592842C199360897 @default.
- W2406592842 hasConceptScore W2406592842C202444582 @default.
- W2406592842 hasConceptScore W2406592842C207648694 @default.
- W2406592842 hasConceptScore W2406592842C2777686260 @default.
- W2406592842 hasConceptScore W2406592842C33923547 @default.
- W2406592842 hasConceptScore W2406592842C41008148 @default.
- W2406592842 hasConceptScore W2406592842C42383842 @default.
- W2406592842 hasConceptScore W2406592842C61797465 @default.
- W2406592842 hasConceptScore W2406592842C62520636 @default.
- W2406592842 hasConceptScore W2406592842C71924100 @default.
- W2406592842 hasConceptScore W2406592842C87365073 @default.
- W2406592842 hasLocation W24065928421 @default.
- W2406592842 hasOpenAccess W2406592842 @default.
- W2406592842 hasPrimaryLocation W24065928421 @default.
- W2406592842 hasRelatedWork W1524477030 @default.
- W2406592842 hasRelatedWork W1543641760 @default.
- W2406592842 hasRelatedWork W1551132038 @default.
- W2406592842 hasRelatedWork W1592479913 @default.
- W2406592842 hasRelatedWork W194548178 @default.
- W2406592842 hasRelatedWork W1974817955 @default.
- W2406592842 hasRelatedWork W1982559596 @default.
- W2406592842 hasRelatedWork W2097112237 @default.
- W2406592842 hasRelatedWork W2100738443 @default.
- W2406592842 hasRelatedWork W2113757735 @default.
- W2406592842 hasRelatedWork W2132750992 @default.
- W2406592842 hasRelatedWork W2151384546 @default.
- W2406592842 hasRelatedWork W2154273644 @default.
- W2406592842 hasRelatedWork W2341751544 @default.
- W2406592842 hasRelatedWork W2591718150 @default.
- W2406592842 hasRelatedWork W2727344539 @default.
- W2406592842 hasRelatedWork W2804798465 @default.
- W2406592842 hasRelatedWork W3100976055 @default.
- W2406592842 hasRelatedWork W3111432053 @default.
- W2406592842 hasRelatedWork W62489626 @default.
- W2406592842 isParatext "false" @default.
- W2406592842 isRetracted "false" @default.
- W2406592842 magId "2406592842" @default.
- W2406592842 workType "article" @default.