Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970748964> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1970748964 endingPage "607" @default.
- W1970748964 startingPage "590" @default.
- W1970748964 abstract "Abstract Because the main difference between combinatory weak equality and λβ -equality is that the rule is valid for the latter but not the former, it is easy to assume that another way of defining combinatory β -equality is to add rule ( ξ ) to the postulates for weak equality. However, to make this true, one must choose the definition of combinatory abstraction in ( ξ ) very carefully. If one tries to use one of the more common abstraction algorithms, the result will be an equality, = ξ , that is either equivalent to βη -equality (and so strictly stronger than β -equality) or else strictly weaker than β -equality. This paper will study the relations = ξ for several commonly used abstraction-algorithms, distinguish between them, and axiomatize them." @default.
- W1970748964 created "2016-06-24" @default.
- W1970748964 creator A5030590840 @default.
- W1970748964 creator A5038043998 @default.
- W1970748964 creator A5083039663 @default.
- W1970748964 date "1989-06-01" @default.
- W1970748964 modified "2023-10-16" @default.
- W1970748964 title "On adding (ξ) to weak equality in combinatory logic " @default.
- W1970748964 cites W2326697462 @default.
- W1970748964 cites W2331685757 @default.
- W1970748964 cites W4234418851 @default.
- W1970748964 doi "https://doi.org/10.2307/2274872" @default.
- W1970748964 hasPublicationYear "1989" @default.
- W1970748964 type Work @default.
- W1970748964 sameAs 1970748964 @default.
- W1970748964 citedByCount "0" @default.
- W1970748964 crossrefType "journal-article" @default.
- W1970748964 hasAuthorship W1970748964A5030590840 @default.
- W1970748964 hasAuthorship W1970748964A5038043998 @default.
- W1970748964 hasAuthorship W1970748964A5083039663 @default.
- W1970748964 hasConcept C111472728 @default.
- W1970748964 hasConcept C118615104 @default.
- W1970748964 hasConcept C124304363 @default.
- W1970748964 hasConcept C136119220 @default.
- W1970748964 hasConcept C138885662 @default.
- W1970748964 hasConcept C199360897 @default.
- W1970748964 hasConcept C202444582 @default.
- W1970748964 hasConcept C33923547 @default.
- W1970748964 hasConcept C41008148 @default.
- W1970748964 hasConcept C79678938 @default.
- W1970748964 hasConceptScore W1970748964C111472728 @default.
- W1970748964 hasConceptScore W1970748964C118615104 @default.
- W1970748964 hasConceptScore W1970748964C124304363 @default.
- W1970748964 hasConceptScore W1970748964C136119220 @default.
- W1970748964 hasConceptScore W1970748964C138885662 @default.
- W1970748964 hasConceptScore W1970748964C199360897 @default.
- W1970748964 hasConceptScore W1970748964C202444582 @default.
- W1970748964 hasConceptScore W1970748964C33923547 @default.
- W1970748964 hasConceptScore W1970748964C41008148 @default.
- W1970748964 hasConceptScore W1970748964C79678938 @default.
- W1970748964 hasIssue "02" @default.
- W1970748964 hasLocation W19707489641 @default.
- W1970748964 hasOpenAccess W1970748964 @default.
- W1970748964 hasPrimaryLocation W19707489641 @default.
- W1970748964 hasRelatedWork W1554240100 @default.
- W1970748964 hasRelatedWork W1605832585 @default.
- W1970748964 hasRelatedWork W1971509082 @default.
- W1970748964 hasRelatedWork W1982896380 @default.
- W1970748964 hasRelatedWork W1988686825 @default.
- W1970748964 hasRelatedWork W1998008830 @default.
- W1970748964 hasRelatedWork W2039196897 @default.
- W1970748964 hasRelatedWork W2046818786 @default.
- W1970748964 hasRelatedWork W2074769340 @default.
- W1970748964 hasRelatedWork W2579308361 @default.
- W1970748964 hasVolume "54" @default.
- W1970748964 isParatext "false" @default.
- W1970748964 isRetracted "false" @default.
- W1970748964 magId "1970748964" @default.
- W1970748964 workType "article" @default.