Matches in SemOpenAlex for { <https://semopenalex.org/work/W2496086305> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2496086305 abstract "In this paper, we present a schema for constructing one-point bases for recursively enumerable sets of lambda terms. The novelty of the approach is that we make no assumptions about the terms for which the one-point basis is constructed: They need not be combinators and they may contain constants and free variables. The significance of the construction is twofold: In the context of the lambda calculus, it characterises one-point bases as ways of ``packaging'' sets of terms into a single term; And in the context of realistic programming languages, it implies that we can define a single procedure that generates any given recursively enumerable set of procedures, constants and free variables in a given programming language." @default.
- W2496086305 created "2016-08-23" @default.
- W2496086305 creator A5020949139 @default.
- W2496086305 date "2001-09-04" @default.
- W2496086305 modified "2023-10-16" @default.
- W2496086305 title "A General Schema for Constructing One-Point Bases in the Lambda Calculus" @default.
- W2496086305 cites W1592287058 @default.
- W2496086305 cites W1594912681 @default.
- W2496086305 cites W2154273644 @default.
- W2496086305 cites W2329766482 @default.
- W2496086305 doi "https://doi.org/10.7146/brics.v8i35.21695" @default.
- W2496086305 hasPublicationYear "2001" @default.
- W2496086305 type Work @default.
- W2496086305 sameAs 2496086305 @default.
- W2496086305 citedByCount "0" @default.
- W2496086305 crossrefType "journal-article" @default.
- W2496086305 hasAuthorship W2496086305A5020949139 @default.
- W2496086305 hasBestOaLocation W24960863051 @default.
- W2496086305 hasConcept C11413529 @default.
- W2496086305 hasConcept C118615104 @default.
- W2496086305 hasConcept C119857082 @default.
- W2496086305 hasConcept C135790938 @default.
- W2496086305 hasConcept C136119220 @default.
- W2496086305 hasConcept C142156749 @default.
- W2496086305 hasConcept C199343813 @default.
- W2496086305 hasConcept C199360897 @default.
- W2496086305 hasConcept C202444582 @default.
- W2496086305 hasConcept C203702658 @default.
- W2496086305 hasConcept C2777686260 @default.
- W2496086305 hasConcept C33923547 @default.
- W2496086305 hasConcept C41008148 @default.
- W2496086305 hasConcept C52146309 @default.
- W2496086305 hasConcept C61237538 @default.
- W2496086305 hasConcept C71924100 @default.
- W2496086305 hasConcept C79678938 @default.
- W2496086305 hasConcept C85343465 @default.
- W2496086305 hasConceptScore W2496086305C11413529 @default.
- W2496086305 hasConceptScore W2496086305C118615104 @default.
- W2496086305 hasConceptScore W2496086305C119857082 @default.
- W2496086305 hasConceptScore W2496086305C135790938 @default.
- W2496086305 hasConceptScore W2496086305C136119220 @default.
- W2496086305 hasConceptScore W2496086305C142156749 @default.
- W2496086305 hasConceptScore W2496086305C199343813 @default.
- W2496086305 hasConceptScore W2496086305C199360897 @default.
- W2496086305 hasConceptScore W2496086305C202444582 @default.
- W2496086305 hasConceptScore W2496086305C203702658 @default.
- W2496086305 hasConceptScore W2496086305C2777686260 @default.
- W2496086305 hasConceptScore W2496086305C33923547 @default.
- W2496086305 hasConceptScore W2496086305C41008148 @default.
- W2496086305 hasConceptScore W2496086305C52146309 @default.
- W2496086305 hasConceptScore W2496086305C61237538 @default.
- W2496086305 hasConceptScore W2496086305C71924100 @default.
- W2496086305 hasConceptScore W2496086305C79678938 @default.
- W2496086305 hasConceptScore W2496086305C85343465 @default.
- W2496086305 hasIssue "35" @default.
- W2496086305 hasLocation W24960863051 @default.
- W2496086305 hasLocation W24960863052 @default.
- W2496086305 hasOpenAccess W2496086305 @default.
- W2496086305 hasPrimaryLocation W24960863051 @default.
- W2496086305 hasRelatedWork W1495843174 @default.
- W2496086305 hasRelatedWork W1501048703 @default.
- W2496086305 hasRelatedWork W1520176828 @default.
- W2496086305 hasRelatedWork W1526097408 @default.
- W2496086305 hasRelatedWork W1573066886 @default.
- W2496086305 hasRelatedWork W1595593791 @default.
- W2496086305 hasRelatedWork W1604013339 @default.
- W2496086305 hasRelatedWork W1847579509 @default.
- W2496086305 hasRelatedWork W1999479735 @default.
- W2496086305 hasRelatedWork W2102892733 @default.
- W2496086305 hasRelatedWork W2124345097 @default.
- W2496086305 hasRelatedWork W2216922462 @default.
- W2496086305 hasRelatedWork W2634552222 @default.
- W2496086305 hasRelatedWork W2809754822 @default.
- W2496086305 hasRelatedWork W2939708371 @default.
- W2496086305 hasRelatedWork W2950299681 @default.
- W2496086305 hasRelatedWork W3100138022 @default.
- W2496086305 hasRelatedWork W3145886794 @default.
- W2496086305 hasRelatedWork W15992309 @default.
- W2496086305 hasRelatedWork W2134124307 @default.
- W2496086305 hasVolume "8" @default.
- W2496086305 isParatext "false" @default.
- W2496086305 isRetracted "false" @default.
- W2496086305 magId "2496086305" @default.
- W2496086305 workType "article" @default.