Matches in SemOpenAlex for { <https://semopenalex.org/work/W1581936953> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1581936953 abstract "Systems of lambda calculus are of importance for most knowledge representation theories and in particular for several systems for Natural Language Processing. During the implementation of lambda systems several problems arise that are directly related to the presence of bound variables. These problems can be avoided using translations from lambda calculus into combinatory systems, which give origin to extremely simple reduction machines. In this article we present and prove the correctness of a translation algorithm, that, when compared with other systems, has quite good properties in terms of memory space as well as in terms of length of evaluations." @default.
- W1581936953 created "2016-06-24" @default.
- W1581936953 creator A5050588876 @default.
- W1581936953 creator A5068278843 @default.
- W1581936953 date "1995-01-01" @default.
- W1581936953 modified "2023-09-27" @default.
- W1581936953 title "A new translation algorithm from lambda calculus into combinatory logic" @default.
- W1581936953 cites W159082583 @default.
- W1581936953 cites W1672330139 @default.
- W1581936953 cites W1971509082 @default.
- W1581936953 cites W2063068243 @default.
- W1581936953 cites W2074769340 @default.
- W1581936953 cites W2097112237 @default.
- W1581936953 cites W2686043342 @default.
- W1581936953 doi "https://doi.org/10.1007/3-540-60428-6_30" @default.
- W1581936953 hasPublicationYear "1995" @default.
- W1581936953 type Work @default.
- W1581936953 sameAs 1581936953 @default.
- W1581936953 citedByCount "0" @default.
- W1581936953 crossrefType "book-chapter" @default.
- W1581936953 hasAuthorship W1581936953A5050588876 @default.
- W1581936953 hasAuthorship W1581936953A5068278843 @default.
- W1581936953 hasConcept C104317684 @default.
- W1581936953 hasConcept C105580179 @default.
- W1581936953 hasConcept C11413529 @default.
- W1581936953 hasConcept C120665830 @default.
- W1581936953 hasConcept C121332964 @default.
- W1581936953 hasConcept C135790938 @default.
- W1581936953 hasConcept C142156749 @default.
- W1581936953 hasConcept C149364088 @default.
- W1581936953 hasConcept C185592680 @default.
- W1581936953 hasConcept C199343813 @default.
- W1581936953 hasConcept C199360897 @default.
- W1581936953 hasConcept C2777686260 @default.
- W1581936953 hasConcept C2778113609 @default.
- W1581936953 hasConcept C41008148 @default.
- W1581936953 hasConcept C55128367 @default.
- W1581936953 hasConcept C55439883 @default.
- W1581936953 hasConcept C55493867 @default.
- W1581936953 hasConcept C61237538 @default.
- W1581936953 hasConcept C62073222 @default.
- W1581936953 hasConcept C71924100 @default.
- W1581936953 hasConcept C77736955 @default.
- W1581936953 hasConcept C80444323 @default.
- W1581936953 hasConcept C85343465 @default.
- W1581936953 hasConceptScore W1581936953C104317684 @default.
- W1581936953 hasConceptScore W1581936953C105580179 @default.
- W1581936953 hasConceptScore W1581936953C11413529 @default.
- W1581936953 hasConceptScore W1581936953C120665830 @default.
- W1581936953 hasConceptScore W1581936953C121332964 @default.
- W1581936953 hasConceptScore W1581936953C135790938 @default.
- W1581936953 hasConceptScore W1581936953C142156749 @default.
- W1581936953 hasConceptScore W1581936953C149364088 @default.
- W1581936953 hasConceptScore W1581936953C185592680 @default.
- W1581936953 hasConceptScore W1581936953C199343813 @default.
- W1581936953 hasConceptScore W1581936953C199360897 @default.
- W1581936953 hasConceptScore W1581936953C2777686260 @default.
- W1581936953 hasConceptScore W1581936953C2778113609 @default.
- W1581936953 hasConceptScore W1581936953C41008148 @default.
- W1581936953 hasConceptScore W1581936953C55128367 @default.
- W1581936953 hasConceptScore W1581936953C55439883 @default.
- W1581936953 hasConceptScore W1581936953C55493867 @default.
- W1581936953 hasConceptScore W1581936953C61237538 @default.
- W1581936953 hasConceptScore W1581936953C62073222 @default.
- W1581936953 hasConceptScore W1581936953C71924100 @default.
- W1581936953 hasConceptScore W1581936953C77736955 @default.
- W1581936953 hasConceptScore W1581936953C80444323 @default.
- W1581936953 hasConceptScore W1581936953C85343465 @default.
- W1581936953 hasLocation W15819369531 @default.
- W1581936953 hasOpenAccess W1581936953 @default.
- W1581936953 hasPrimaryLocation W15819369531 @default.
- W1581936953 hasRelatedWork W1482185827 @default.
- W1581936953 hasRelatedWork W1604541089 @default.
- W1581936953 hasRelatedWork W1681537456 @default.
- W1581936953 hasRelatedWork W2054299141 @default.
- W1581936953 hasRelatedWork W2077870744 @default.
- W1581936953 hasRelatedWork W2109585055 @default.
- W1581936953 hasRelatedWork W2119552959 @default.
- W1581936953 hasRelatedWork W2123020468 @default.
- W1581936953 hasRelatedWork W2138472690 @default.
- W1581936953 hasRelatedWork W2201760732 @default.
- W1581936953 hasRelatedWork W2213473692 @default.
- W1581936953 hasRelatedWork W2413857186 @default.
- W1581936953 hasRelatedWork W2615170073 @default.
- W1581936953 hasRelatedWork W2825557463 @default.
- W1581936953 hasRelatedWork W2915506276 @default.
- W1581936953 hasRelatedWork W2960903742 @default.
- W1581936953 hasRelatedWork W3089232200 @default.
- W1581936953 hasRelatedWork W3089303239 @default.
- W1581936953 hasRelatedWork W3135073116 @default.
- W1581936953 hasRelatedWork W51747038 @default.
- W1581936953 isParatext "false" @default.
- W1581936953 isRetracted "false" @default.
- W1581936953 magId "1581936953" @default.
- W1581936953 workType "book-chapter" @default.