FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1816962666> ?p ?o ?g. }

• W1816962666 abstract "We initiate a purely algebraic study of Ehrhard and Regnier's resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, resource lambda-algebras and resource lambda-abstraction algebras. We establish the relations between them, laying down foundations for a model theory of resource λ-calculus. We also show that the ideal completion of a resource combinatory (resp. lambda-, lambda-abstraction) algebra induces a combinatory (resp. lambda-, lambda-abstraction) algebra, and that any model of the classical λ-calculus raising from a resource lambda-algebra determines a λ-theory which equates all terms having the same Bohm tree." @default.
• W1816962666 created "2016-06-24" @default.
• W1816962666 creator A5006888140 @default.
• W1816962666 creator A5040323932 @default.
• W1816962666 creator A5064465385 @default.
• W1816962666 date "2010-01-01" @default.
• W1816962666 modified "2023-10-01" @default.
• W1816962666 title "Resource Combinatory Algebras" @default.
• W1816962666 cites W1509497033 @default.
• W1816962666 cites W1528473059 @default.
• W1816962666 cites W1581049135 @default.
• W1816962666 cites W1586379162 @default.
• W1816962666 cites W1967051432 @default.
• W1816962666 cites W1993890055 @default.
• W1816962666 cites W2007411063 @default.
• W1816962666 cites W2020095493 @default.
• W1816962666 cites W2033920397 @default.
• W1816962666 cites W2088376608 @default.
• W1816962666 cites W2090981365 @default.
• W1816962666 cites W2109323214 @default.
• W1816962666 cites W2129432931 @default.
• W1816962666 cites W2143014812 @default.
• W1816962666 cites W2151097168 @default.
• W1816962666 cites W2911865844 @default.
• W1816962666 cites W4297786044 @default.
• W1816962666 doi "https://doi.org/10.1007/978-3-642-15155-2_22" @default.
• W1816962666 hasPublicationYear "2010" @default.
• W1816962666 type Work @default.
• W1816962666 sameAs 1816962666 @default.
• W1816962666 citedByCount "3" @default.
• W1816962666 countsByYear W18169626662012 @default.
• W1816962666 crossrefType "book-chapter" @default.
• W1816962666 hasAuthorship W1816962666A5006888140 @default.
• W1816962666 hasAuthorship W1816962666A5040323932 @default.
• W1816962666 hasAuthorship W1816962666A5064465385 @default.
• W1816962666 hasBestOaLocation W18169626663 @default.
• W1816962666 hasConcept C111472728 @default.
• W1816962666 hasConcept C113174947 @default.
• W1816962666 hasConcept C114614502 @default.
• W1816962666 hasConcept C116253237 @default.
• W1816962666 hasConcept C120665830 @default.
• W1816962666 hasConcept C121332964 @default.
• W1816962666 hasConcept C124304363 @default.
• W1816962666 hasConcept C134306372 @default.
• W1816962666 hasConcept C135790938 @default.
• W1816962666 hasConcept C136119220 @default.
• W1816962666 hasConcept C138885662 @default.
• W1816962666 hasConcept C142156749 @default.
• W1816962666 hasConcept C161771561 @default.
• W1816962666 hasConcept C199343813 @default.
• W1816962666 hasConcept C199360897 @default.
• W1816962666 hasConcept C202444582 @default.
• W1816962666 hasConcept C206345919 @default.
• W1816962666 hasConcept C2777686260 @default.
• W1816962666 hasConcept C2777691520 @default.
• W1816962666 hasConcept C2778113609 @default.
• W1816962666 hasConcept C31258907 @default.
• W1816962666 hasConcept C33923547 @default.
• W1816962666 hasConcept C41008148 @default.
• W1816962666 hasConcept C61237538 @default.
• W1816962666 hasConcept C71924100 @default.
• W1816962666 hasConcept C77736955 @default.
• W1816962666 hasConcept C79678938 @default.
• W1816962666 hasConcept C80444323 @default.
• W1816962666 hasConcept C9376300 @default.
• W1816962666 hasConceptScore W1816962666C111472728 @default.
• W1816962666 hasConceptScore W1816962666C113174947 @default.
• W1816962666 hasConceptScore W1816962666C114614502 @default.
• W1816962666 hasConceptScore W1816962666C116253237 @default.
• W1816962666 hasConceptScore W1816962666C120665830 @default.
• W1816962666 hasConceptScore W1816962666C121332964 @default.
• W1816962666 hasConceptScore W1816962666C124304363 @default.
• W1816962666 hasConceptScore W1816962666C134306372 @default.
• W1816962666 hasConceptScore W1816962666C135790938 @default.
• W1816962666 hasConceptScore W1816962666C136119220 @default.
• W1816962666 hasConceptScore W1816962666C138885662 @default.
• W1816962666 hasConceptScore W1816962666C142156749 @default.
• W1816962666 hasConceptScore W1816962666C161771561 @default.
• W1816962666 hasConceptScore W1816962666C199343813 @default.
• W1816962666 hasConceptScore W1816962666C199360897 @default.
• W1816962666 hasConceptScore W1816962666C202444582 @default.
• W1816962666 hasConceptScore W1816962666C206345919 @default.
• W1816962666 hasConceptScore W1816962666C2777686260 @default.
• W1816962666 hasConceptScore W1816962666C2777691520 @default.
• W1816962666 hasConceptScore W1816962666C2778113609 @default.
• W1816962666 hasConceptScore W1816962666C31258907 @default.
• W1816962666 hasConceptScore W1816962666C33923547 @default.
• W1816962666 hasConceptScore W1816962666C41008148 @default.
• W1816962666 hasConceptScore W1816962666C61237538 @default.
• W1816962666 hasConceptScore W1816962666C71924100 @default.
• W1816962666 hasConceptScore W1816962666C77736955 @default.
• W1816962666 hasConceptScore W1816962666C79678938 @default.
• W1816962666 hasConceptScore W1816962666C80444323 @default.
• W1816962666 hasConceptScore W1816962666C9376300 @default.
• W1816962666 hasLocation W18169626661 @default.
• W1816962666 hasLocation W18169626662 @default.
• W1816962666 hasLocation W18169626663 @default.
• W1816962666 hasOpenAccess W1816962666 @default.
• W1816962666 hasPrimaryLocation W18169626661 @default.
• W1816962666 hasRelatedWork W1500776978 @default.

• next