Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005173090> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2005173090 endingPage "77" @default.
- W2005173090 startingPage "59" @default.
- W2005173090 abstract "Any interpretation of the lambda calculus determines a composition monoid and this monoid can be equipped with structure from which the interpretation can be recovered. That is the essence of Dana Scott's account of the lambda calculus in terms of its category of retracts. This paper presents a new approach to the needed structure on the monoid deriving from a recent analysis of the lambda calculus in terms of algebraic theory." @default.
- W2005173090 created "2016-06-24" @default.
- W2005173090 creator A5044396973 @default.
- W2005173090 date "2014-03-01" @default.
- W2005173090 modified "2023-09-23" @default.
- W2005173090 title "Towards a Notion of Lambda Monoid" @default.
- W2005173090 cites W1989039217 @default.
- W2005173090 doi "https://doi.org/10.1016/j.entcs.2014.02.004" @default.
- W2005173090 hasPublicationYear "2014" @default.
- W2005173090 type Work @default.
- W2005173090 sameAs 2005173090 @default.
- W2005173090 citedByCount "3" @default.
- W2005173090 countsByYear W20051730902021 @default.
- W2005173090 countsByYear W20051730902022 @default.
- W2005173090 countsByYear W20051730902023 @default.
- W2005173090 crossrefType "journal-article" @default.
- W2005173090 hasAuthorship W2005173090A5044396973 @default.
- W2005173090 hasBestOaLocation W20051730901 @default.
- W2005173090 hasConcept C118615104 @default.
- W2005173090 hasConcept C120665830 @default.
- W2005173090 hasConcept C121332964 @default.
- W2005173090 hasConcept C134306372 @default.
- W2005173090 hasConcept C135790938 @default.
- W2005173090 hasConcept C136119220 @default.
- W2005173090 hasConcept C142156749 @default.
- W2005173090 hasConcept C149685015 @default.
- W2005173090 hasConcept C182419690 @default.
- W2005173090 hasConcept C199343813 @default.
- W2005173090 hasConcept C199360897 @default.
- W2005173090 hasConcept C202444582 @default.
- W2005173090 hasConcept C206901836 @default.
- W2005173090 hasConcept C2777686260 @default.
- W2005173090 hasConcept C2778113609 @default.
- W2005173090 hasConcept C2779782106 @default.
- W2005173090 hasConcept C33923547 @default.
- W2005173090 hasConcept C41008148 @default.
- W2005173090 hasConcept C527412718 @default.
- W2005173090 hasConcept C55128367 @default.
- W2005173090 hasConcept C61237538 @default.
- W2005173090 hasConcept C71924100 @default.
- W2005173090 hasConcept C77736955 @default.
- W2005173090 hasConcept C9376300 @default.
- W2005173090 hasConceptScore W2005173090C118615104 @default.
- W2005173090 hasConceptScore W2005173090C120665830 @default.
- W2005173090 hasConceptScore W2005173090C121332964 @default.
- W2005173090 hasConceptScore W2005173090C134306372 @default.
- W2005173090 hasConceptScore W2005173090C135790938 @default.
- W2005173090 hasConceptScore W2005173090C136119220 @default.
- W2005173090 hasConceptScore W2005173090C142156749 @default.
- W2005173090 hasConceptScore W2005173090C149685015 @default.
- W2005173090 hasConceptScore W2005173090C182419690 @default.
- W2005173090 hasConceptScore W2005173090C199343813 @default.
- W2005173090 hasConceptScore W2005173090C199360897 @default.
- W2005173090 hasConceptScore W2005173090C202444582 @default.
- W2005173090 hasConceptScore W2005173090C206901836 @default.
- W2005173090 hasConceptScore W2005173090C2777686260 @default.
- W2005173090 hasConceptScore W2005173090C2778113609 @default.
- W2005173090 hasConceptScore W2005173090C2779782106 @default.
- W2005173090 hasConceptScore W2005173090C33923547 @default.
- W2005173090 hasConceptScore W2005173090C41008148 @default.
- W2005173090 hasConceptScore W2005173090C527412718 @default.
- W2005173090 hasConceptScore W2005173090C55128367 @default.
- W2005173090 hasConceptScore W2005173090C61237538 @default.
- W2005173090 hasConceptScore W2005173090C71924100 @default.
- W2005173090 hasConceptScore W2005173090C77736955 @default.
- W2005173090 hasConceptScore W2005173090C9376300 @default.
- W2005173090 hasLocation W20051730901 @default.
- W2005173090 hasOpenAccess W2005173090 @default.
- W2005173090 hasPrimaryLocation W20051730901 @default.
- W2005173090 hasRelatedWork W1597236688 @default.
- W2005173090 hasRelatedWork W1633106243 @default.
- W2005173090 hasRelatedWork W2101274322 @default.
- W2005173090 hasRelatedWork W2373977992 @default.
- W2005173090 hasRelatedWork W2615070270 @default.
- W2005173090 hasRelatedWork W3025076051 @default.
- W2005173090 hasRelatedWork W4230977852 @default.
- W2005173090 hasRelatedWork W62459810 @default.
- W2005173090 hasRelatedWork W811489916 @default.
- W2005173090 hasRelatedWork W2785405191 @default.
- W2005173090 hasVolume "303" @default.
- W2005173090 isParatext "false" @default.
- W2005173090 isRetracted "false" @default.
- W2005173090 magId "2005173090" @default.
- W2005173090 workType "article" @default.