Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085264580> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2085264580 endingPage "2238" @default.
- W2085264580 startingPage "2223" @default.
- W2085264580 abstract "This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed π-calculus based on IO-typing. The respective incremental constraints, one on geometric structures of proof-nets and one based on types, precisely correspond to each other, leading to the exact correspondence of the respective formalisms as they appear in Olivier Laurent (2003) [27] (for proof-nets) and Kohei Honda et al. (2004) [24] (for the π-calculus)." @default.
- W2085264580 created "2016-06-24" @default.
- W2085264580 creator A5012191491 @default.
- W2085264580 creator A5089362585 @default.
- W2085264580 date "2010-05-01" @default.
- W2085264580 modified "2023-10-13" @default.
- W2085264580 title "An exact correspondence between a typed pi-calculus and polarised proof-nets" @default.
- W2085264580 cites W1523525039 @default.
- W2085264580 cites W1591694044 @default.
- W2085264580 cites W2004063149 @default.
- W2085264580 cites W2008868842 @default.
- W2085264580 cites W2010649834 @default.
- W2085264580 cites W2011491369 @default.
- W2085264580 cites W2012968289 @default.
- W2085264580 cites W2024189573 @default.
- W2085264580 cites W2028016184 @default.
- W2085264580 cites W2031381178 @default.
- W2085264580 cites W2068763700 @default.
- W2085264580 cites W2072048176 @default.
- W2085264580 cites W2093561140 @default.
- W2085264580 cites W2128932399 @default.
- W2085264580 cites W2145617779 @default.
- W2085264580 cites W2165446401 @default.
- W2085264580 cites W2170626879 @default.
- W2085264580 cites W2295192560 @default.
- W2085264580 cites W2911865844 @default.
- W2085264580 doi "https://doi.org/10.1016/j.tcs.2010.01.028" @default.
- W2085264580 hasPublicationYear "2010" @default.
- W2085264580 type Work @default.
- W2085264580 sameAs 2085264580 @default.
- W2085264580 citedByCount "37" @default.
- W2085264580 countsByYear W20852645802012 @default.
- W2085264580 countsByYear W20852645802013 @default.
- W2085264580 countsByYear W20852645802014 @default.
- W2085264580 countsByYear W20852645802015 @default.
- W2085264580 countsByYear W20852645802016 @default.
- W2085264580 countsByYear W20852645802017 @default.
- W2085264580 countsByYear W20852645802018 @default.
- W2085264580 countsByYear W20852645802019 @default.
- W2085264580 countsByYear W20852645802020 @default.
- W2085264580 countsByYear W20852645802021 @default.
- W2085264580 crossrefType "journal-article" @default.
- W2085264580 hasAuthorship W2085264580A5012191491 @default.
- W2085264580 hasAuthorship W2085264580A5089362585 @default.
- W2085264580 hasBestOaLocation W20852645801 @default.
- W2085264580 hasConcept C118615104 @default.
- W2085264580 hasConcept C136119220 @default.
- W2085264580 hasConcept C171018156 @default.
- W2085264580 hasConcept C184311908 @default.
- W2085264580 hasConcept C199343813 @default.
- W2085264580 hasConcept C199360897 @default.
- W2085264580 hasConcept C202444582 @default.
- W2085264580 hasConcept C2524010 @default.
- W2085264580 hasConcept C2777686260 @default.
- W2085264580 hasConcept C28077239 @default.
- W2085264580 hasConcept C2984882572 @default.
- W2085264580 hasConcept C33923547 @default.
- W2085264580 hasConcept C41008148 @default.
- W2085264580 hasConcept C71924100 @default.
- W2085264580 hasConceptScore W2085264580C118615104 @default.
- W2085264580 hasConceptScore W2085264580C136119220 @default.
- W2085264580 hasConceptScore W2085264580C171018156 @default.
- W2085264580 hasConceptScore W2085264580C184311908 @default.
- W2085264580 hasConceptScore W2085264580C199343813 @default.
- W2085264580 hasConceptScore W2085264580C199360897 @default.
- W2085264580 hasConceptScore W2085264580C202444582 @default.
- W2085264580 hasConceptScore W2085264580C2524010 @default.
- W2085264580 hasConceptScore W2085264580C2777686260 @default.
- W2085264580 hasConceptScore W2085264580C28077239 @default.
- W2085264580 hasConceptScore W2085264580C2984882572 @default.
- W2085264580 hasConceptScore W2085264580C33923547 @default.
- W2085264580 hasConceptScore W2085264580C41008148 @default.
- W2085264580 hasConceptScore W2085264580C71924100 @default.
- W2085264580 hasIssue "22-24" @default.
- W2085264580 hasLocation W20852645801 @default.
- W2085264580 hasLocation W20852645802 @default.
- W2085264580 hasLocation W20852645803 @default.
- W2085264580 hasLocation W20852645804 @default.
- W2085264580 hasOpenAccess W2085264580 @default.
- W2085264580 hasPrimaryLocation W20852645801 @default.
- W2085264580 hasRelatedWork W1505531937 @default.
- W2085264580 hasRelatedWork W154767665 @default.
- W2085264580 hasRelatedWork W1573313186 @default.
- W2085264580 hasRelatedWork W1950785758 @default.
- W2085264580 hasRelatedWork W2013672985 @default.
- W2085264580 hasRelatedWork W2069732957 @default.
- W2085264580 hasRelatedWork W2619382388 @default.
- W2085264580 hasRelatedWork W3196191855 @default.
- W2085264580 hasRelatedWork W57206970 @default.
- W2085264580 hasRelatedWork W1581947609 @default.
- W2085264580 hasVolume "411" @default.
- W2085264580 isParatext "false" @default.
- W2085264580 isRetracted "false" @default.
- W2085264580 magId "2085264580" @default.
- W2085264580 workType "article" @default.