FRINK Linked Data Fragments server

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

• W3088756446 abstract "This paper revisits the Interaction Abstract Machine (IAM), a machine based on Girard’s Geometry of Interaction, introduced by Mackie and Danos & Regnier. It is an unusual machine, not relying on environments, presented on linear logic proof nets, and whose soundness proof is convoluted and passes through various other formalisms. Here we provide a new direct proof of its correctness, based on a variant of Sands’s improvements, a natural notion of bisimulation. Moreover, our proof is carried out on a new presentation of the IAM, defined as a machine acting directly on λ-terms, rather than on linear logic proof nets." @default.
• W3088756446 created "2020-10-01" @default.
• W3088756446 creator A5041239393 @default.
• W3088756446 creator A5046873607 @default.
• W3088756446 creator A5084450516 @default.
• W3088756446 date "2020-09-08" @default.
• W3088756446 modified "2023-09-25" @default.
• W3088756446 title "The Machinery of Interaction" @default.
• W3088756446 cites W120450198 @default.
• W3088756446 cites W1525162160 @default.
• W3088756446 cites W1551972816 @default.
• W3088756446 cites W1964861775 @default.
• W3088756446 cites W2008868842 @default.
• W3088756446 cites W2009332552 @default.
• W3088756446 cites W2024902159 @default.
• W3088756446 cites W2027591072 @default.
• W3088756446 cites W2040871029 @default.
• W3088756446 cites W2063179190 @default.
• W3088756446 cites W2065246392 @default.
• W3088756446 cites W2083251128 @default.
• W3088756446 cites W2086682999 @default.
• W3088756446 cites W2096885339 @default.
• W3088756446 cites W2102357532 @default.
• W3088756446 cites W2105475156 @default.
• W3088756446 cites W2132265554 @default.
• W3088756446 cites W2152839970 @default.
• W3088756446 cites W2152944474 @default.
• W3088756446 cites W2157460885 @default.
• W3088756446 cites W2186736595 @default.
• W3088756446 cites W2404181034 @default.
• W3088756446 cites W2406902927 @default.
• W3088756446 cites W2546724314 @default.
• W3088756446 cites W2764063203 @default.
• W3088756446 cites W2885468325 @default.
• W3088756446 cites W2898952448 @default.
• W3088756446 cites W2975191788 @default.
• W3088756446 cites W2996703487 @default.
• W3088756446 cites W3028421255 @default.
• W3088756446 cites W3088756446 @default.
• W3088756446 cites W4249023099 @default.
• W3088756446 doi "https://doi.org/10.1145/3414080.3414108" @default.
• W3088756446 hasPublicationYear "2020" @default.
• W3088756446 type Work @default.
• W3088756446 sameAs 3088756446 @default.
• W3088756446 citedByCount "8" @default.
• W3088756446 countsByYear W30887564462020 @default.
• W3088756446 countsByYear W30887564462021 @default.
• W3088756446 countsByYear W30887564462022 @default.
• W3088756446 crossrefType "proceedings-article" @default.
• W3088756446 hasAuthorship W3088756446A5041239393 @default.
• W3088756446 hasAuthorship W3088756446A5046873607 @default.
• W3088756446 hasAuthorship W3088756446A5084450516 @default.
• W3088756446 hasBestOaLocation W30887564461 @default.
• W3088756446 hasConcept C108710211 @default.
• W3088756446 hasConcept C111472728 @default.
• W3088756446 hasConcept C111919701 @default.
• W3088756446 hasConcept C11413529 @default.
• W3088756446 hasConcept C124304363 @default.
• W3088756446 hasConcept C124978682 @default.
• W3088756446 hasConcept C135315306 @default.
• W3088756446 hasConcept C138885662 @default.
• W3088756446 hasConcept C171018156 @default.
• W3088756446 hasConcept C195653647 @default.
• W3088756446 hasConcept C199360897 @default.
• W3088756446 hasConcept C203265346 @default.
• W3088756446 hasConcept C2318724 @default.
• W3088756446 hasConcept C2524010 @default.
• W3088756446 hasConcept C28077239 @default.
• W3088756446 hasConcept C33923547 @default.
• W3088756446 hasConcept C39920170 @default.
• W3088756446 hasConcept C41008148 @default.
• W3088756446 hasConcept C55439883 @default.
• W3088756446 hasConcept C62073222 @default.
• W3088756446 hasConcept C80444323 @default.
• W3088756446 hasConcept C88977235 @default.
• W3088756446 hasConceptScore W3088756446C108710211 @default.
• W3088756446 hasConceptScore W3088756446C111472728 @default.
• W3088756446 hasConceptScore W3088756446C111919701 @default.
• W3088756446 hasConceptScore W3088756446C11413529 @default.
• W3088756446 hasConceptScore W3088756446C124304363 @default.
• W3088756446 hasConceptScore W3088756446C124978682 @default.
• W3088756446 hasConceptScore W3088756446C135315306 @default.
• W3088756446 hasConceptScore W3088756446C138885662 @default.
• W3088756446 hasConceptScore W3088756446C171018156 @default.
• W3088756446 hasConceptScore W3088756446C195653647 @default.
• W3088756446 hasConceptScore W3088756446C199360897 @default.
• W3088756446 hasConceptScore W3088756446C203265346 @default.
• W3088756446 hasConceptScore W3088756446C2318724 @default.
• W3088756446 hasConceptScore W3088756446C2524010 @default.
• W3088756446 hasConceptScore W3088756446C28077239 @default.
• W3088756446 hasConceptScore W3088756446C33923547 @default.
• W3088756446 hasConceptScore W3088756446C39920170 @default.
• W3088756446 hasConceptScore W3088756446C41008148 @default.
• W3088756446 hasConceptScore W3088756446C55439883 @default.
• W3088756446 hasConceptScore W3088756446C62073222 @default.
• W3088756446 hasConceptScore W3088756446C80444323 @default.
• W3088756446 hasConceptScore W3088756446C88977235 @default.
• W3088756446 hasFunder F4320325505 @default.
• W3088756446 hasFunder F4320338352 @default.
• W3088756446 hasLocation W30887564461 @default.

• next