FRINK Linked Data Fragments server

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

• W2085080904 endingPage "26" @default.
• W2085080904 startingPage "26" @default.
• W2085080904 abstract "We present a bisimulation method for proving the contextual equivalence of packages in λ-calculus with full existential and recursive types. Unlike traditional logical relations (either semantic or syntactic), our development is “elementary,” using only sets and relations and avoiding advanced machinery such as domain theory, admissibility, and TT-closure. Unlike other bisimulations, ours is complete even for existential types. The key idea is to consider sets of relations—instead of just relations—as bisimulations." @default.
• W2085080904 created "2016-06-24" @default.
• W2085080904 creator A5048931630 @default.
• W2085080904 creator A5085361253 @default.
• W2085080904 date "2007-10-01" @default.
• W2085080904 modified "2023-10-01" @default.
• W2085080904 title "A bisimulation for type abstraction and recursion" @default.
• W2085080904 cites W1508098446 @default.
• W2085080904 cites W1585299317 @default.
• W2085080904 cites W1596161732 @default.
• W2085080904 cites W1956373135 @default.
• W2085080904 cites W1973054120 @default.
• W2085080904 cites W1975882289 @default.
• W2085080904 cites W1983077483 @default.
• W2085080904 cites W1991984504 @default.
• W2085080904 cites W1992889841 @default.
• W2085080904 cites W1994676271 @default.
• W2085080904 cites W1997143185 @default.
• W2085080904 cites W2005403834 @default.
• W2085080904 cites W2011491369 @default.
• W2085080904 cites W2016017569 @default.
• W2085080904 cites W2018474310 @default.
• W2085080904 cites W2057292961 @default.
• W2085080904 cites W2063608931 @default.
• W2085080904 cites W2087828835 @default.
• W2085080904 cites W2092367588 @default.
• W2085080904 cites W2125379835 @default.
• W2085080904 cites W2144562508 @default.
• W2085080904 cites W2149412346 @default.
• W2085080904 cites W2170800927 @default.
• W2085080904 doi "https://doi.org/10.1145/1284320.1284325" @default.
• W2085080904 hasPublicationYear "2007" @default.
• W2085080904 type Work @default.
• W2085080904 sameAs 2085080904 @default.
• W2085080904 citedByCount "58" @default.
• W2085080904 countsByYear W20850809042012 @default.
• W2085080904 countsByYear W20850809042013 @default.
• W2085080904 countsByYear W20850809042014 @default.
• W2085080904 countsByYear W20850809042015 @default.
• W2085080904 countsByYear W20850809042016 @default.
• W2085080904 countsByYear W20850809042019 @default.
• W2085080904 countsByYear W20850809042021 @default.
• W2085080904 countsByYear W20850809042022 @default.
• W2085080904 countsByYear W20850809042023 @default.
• W2085080904 crossrefType "journal-article" @default.
• W2085080904 hasAuthorship W2085080904A5048931630 @default.
• W2085080904 hasAuthorship W2085080904A5085361253 @default.
• W2085080904 hasBestOaLocation W20850809042 @default.
• W2085080904 hasConcept C111472728 @default.
• W2085080904 hasConcept C11413529 @default.
• W2085080904 hasConcept C118615104 @default.
• W2085080904 hasConcept C124304363 @default.
• W2085080904 hasConcept C127882523 @default.
• W2085080904 hasConcept C135315306 @default.
• W2085080904 hasConcept C136119220 @default.
• W2085080904 hasConcept C138885662 @default.
• W2085080904 hasConcept C146834321 @default.
• W2085080904 hasConcept C156103551 @default.
• W2085080904 hasConcept C162324750 @default.
• W2085080904 hasConcept C168773036 @default.
• W2085080904 hasConcept C18903297 @default.
• W2085080904 hasConcept C202444582 @default.
• W2085080904 hasConcept C2777299769 @default.
• W2085080904 hasConcept C2780069185 @default.
• W2085080904 hasConcept C29585364 @default.
• W2085080904 hasConcept C33923547 @default.
• W2085080904 hasConcept C34447519 @default.
• W2085080904 hasConcept C41008148 @default.
• W2085080904 hasConcept C70846408 @default.
• W2085080904 hasConcept C80444323 @default.
• W2085080904 hasConcept C86803240 @default.
• W2085080904 hasConceptScore W2085080904C111472728 @default.
• W2085080904 hasConceptScore W2085080904C11413529 @default.
• W2085080904 hasConceptScore W2085080904C118615104 @default.
• W2085080904 hasConceptScore W2085080904C124304363 @default.
• W2085080904 hasConceptScore W2085080904C127882523 @default.
• W2085080904 hasConceptScore W2085080904C135315306 @default.
• W2085080904 hasConceptScore W2085080904C136119220 @default.
• W2085080904 hasConceptScore W2085080904C138885662 @default.
• W2085080904 hasConceptScore W2085080904C146834321 @default.
• W2085080904 hasConceptScore W2085080904C156103551 @default.
• W2085080904 hasConceptScore W2085080904C162324750 @default.
• W2085080904 hasConceptScore W2085080904C168773036 @default.
• W2085080904 hasConceptScore W2085080904C18903297 @default.
• W2085080904 hasConceptScore W2085080904C202444582 @default.
• W2085080904 hasConceptScore W2085080904C2777299769 @default.
• W2085080904 hasConceptScore W2085080904C2780069185 @default.
• W2085080904 hasConceptScore W2085080904C29585364 @default.
• W2085080904 hasConceptScore W2085080904C33923547 @default.
• W2085080904 hasConceptScore W2085080904C34447519 @default.
• W2085080904 hasConceptScore W2085080904C41008148 @default.
• W2085080904 hasConceptScore W2085080904C70846408 @default.
• W2085080904 hasConceptScore W2085080904C80444323 @default.
• W2085080904 hasConceptScore W2085080904C86803240 @default.
• W2085080904 hasIssue "5" @default.
• W2085080904 hasLocation W20850809041 @default.
• W2085080904 hasLocation W20850809042 @default.
• W2085080904 hasLocation W20850809043 @default.

• next