FRINK Linked Data Fragments server

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

• W3143473090 abstract "We study the semantics of an untyped lambda-calculus equipped with operators representing read and write operations from and to a global state. We adopt the monadic approach to model side effects and treat read and write as algebraic operations over a computational monad. We introduce an operational semantics and a type assignment system of intersection types, and prove that types are invariant under reduction and expansion of term and state configurations, and characterize convergent terms via their typings." @default.
• W3143473090 created "2021-04-13" @default.
• W3143473090 creator A5020561481 @default.
• W3143473090 creator A5035105483 @default.
• W3143473090 date "2021-04-03" @default.
• W3143473090 modified "2023-09-27" @default.
• W3143473090 title "Intersection Types for a Computational Lambda-Calculus with Global State." @default.
• W3143473090 cites W1521014576 @default.
• W3143473090 cites W1547926009 @default.
• W3143473090 cites W1554278997 @default.
• W3143473090 cites W1557561422 @default.
• W3143473090 cites W1606211906 @default.
• W3143473090 cites W1808214913 @default.
• W3143473090 cites W1965620900 @default.
• W3143473090 cites W1970227944 @default.
• W3143473090 cites W1997143185 @default.
• W3143473090 cites W2037984920 @default.
• W3143473090 cites W2084788336 @default.
• W3143473090 cites W2088941870 @default.
• W3143473090 cites W2128529251 @default.
• W3143473090 cites W2136202785 @default.
• W3143473090 cites W2139772363 @default.
• W3143473090 cites W2151156765 @default.
• W3143473090 cites W2156876717 @default.
• W3143473090 cites W2158242393 @default.
• W3143473090 cites W2158244462 @default.
• W3143473090 cites W2313034173 @default.
• W3143473090 cites W2743053213 @default.
• W3143473090 cites W2954343036 @default.
• W3143473090 cites W3087575110 @default.
• W3143473090 cites W2517671451 @default.
• W3143473090 hasPublicationYear "2021" @default.
• W3143473090 type Work @default.
• W3143473090 sameAs 3143473090 @default.
• W3143473090 citedByCount "0" @default.
• W3143473090 crossrefType "posted-content" @default.
• W3143473090 hasAuthorship W3143473090A5020561481 @default.
• W3143473090 hasAuthorship W3143473090A5035105483 @default.
• W3143473090 hasConcept C118615104 @default.
• W3143473090 hasConcept C120665830 @default.
• W3143473090 hasConcept C121332964 @default.
• W3143473090 hasConcept C127413603 @default.
• W3143473090 hasConcept C134306372 @default.
• W3143473090 hasConcept C135790938 @default.
• W3143473090 hasConcept C136119220 @default.
• W3143473090 hasConcept C142156749 @default.
• W3143473090 hasConcept C146978453 @default.
• W3143473090 hasConcept C156772000 @default.
• W3143473090 hasConcept C184337299 @default.
• W3143473090 hasConcept C18903297 @default.
• W3143473090 hasConcept C190470478 @default.
• W3143473090 hasConcept C199360897 @default.
• W3143473090 hasConcept C202444582 @default.
• W3143473090 hasConcept C2777299769 @default.
• W3143473090 hasConcept C2778113609 @default.
• W3143473090 hasConcept C2779729104 @default.
• W3143473090 hasConcept C33923547 @default.
• W3143473090 hasConcept C33959348 @default.
• W3143473090 hasConcept C37914503 @default.
• W3143473090 hasConcept C41008148 @default.
• W3143473090 hasConcept C48103436 @default.
• W3143473090 hasConcept C55128367 @default.
• W3143473090 hasConcept C61237538 @default.
• W3143473090 hasConcept C61797465 @default.
• W3143473090 hasConcept C62520636 @default.
• W3143473090 hasConcept C64543145 @default.
• W3143473090 hasConcept C79678938 @default.
• W3143473090 hasConcept C86803240 @default.
• W3143473090 hasConcept C9376300 @default.
• W3143473090 hasConceptScore W3143473090C118615104 @default.
• W3143473090 hasConceptScore W3143473090C120665830 @default.
• W3143473090 hasConceptScore W3143473090C121332964 @default.
• W3143473090 hasConceptScore W3143473090C127413603 @default.
• W3143473090 hasConceptScore W3143473090C134306372 @default.
• W3143473090 hasConceptScore W3143473090C135790938 @default.
• W3143473090 hasConceptScore W3143473090C136119220 @default.
• W3143473090 hasConceptScore W3143473090C142156749 @default.
• W3143473090 hasConceptScore W3143473090C146978453 @default.
• W3143473090 hasConceptScore W3143473090C156772000 @default.
• W3143473090 hasConceptScore W3143473090C184337299 @default.
• W3143473090 hasConceptScore W3143473090C18903297 @default.
• W3143473090 hasConceptScore W3143473090C190470478 @default.
• W3143473090 hasConceptScore W3143473090C199360897 @default.
• W3143473090 hasConceptScore W3143473090C202444582 @default.
• W3143473090 hasConceptScore W3143473090C2777299769 @default.
• W3143473090 hasConceptScore W3143473090C2778113609 @default.
• W3143473090 hasConceptScore W3143473090C2779729104 @default.
• W3143473090 hasConceptScore W3143473090C33923547 @default.
• W3143473090 hasConceptScore W3143473090C33959348 @default.
• W3143473090 hasConceptScore W3143473090C37914503 @default.
• W3143473090 hasConceptScore W3143473090C41008148 @default.
• W3143473090 hasConceptScore W3143473090C48103436 @default.
• W3143473090 hasConceptScore W3143473090C55128367 @default.
• W3143473090 hasConceptScore W3143473090C61237538 @default.
• W3143473090 hasConceptScore W3143473090C61797465 @default.
• W3143473090 hasConceptScore W3143473090C62520636 @default.
• W3143473090 hasConceptScore W3143473090C64543145 @default.
• W3143473090 hasConceptScore W3143473090C79678938 @default.
• W3143473090 hasConceptScore W3143473090C86803240 @default.
• W3143473090 hasConceptScore W3143473090C9376300 @default.

• next