Matches in SemOpenAlex for { <https://semopenalex.org/work/W96750890> ?p ?o ?g. }
- W96750890 endingPage "996" @default.
- W96750890 startingPage "943" @default.
- W96750890 abstract "A general approach is proposed for transforming objects to methods on the fly in the framework of the π-calculus. The power of the approach is demonstrated by applying it to generate an encoding of the full lambda calculus in the π-calculus. The encoding is proved to preserve and reflect beta reduction, and is shown to be fully abstract with respect to Abramsky's applicative bisimilarity." @default.
- W96750890 created "2016-06-24" @default.
- W96750890 creator A5026708634 @default.
- W96750890 creator A5061169613 @default.
- W96750890 date "2011-05-19" @default.
- W96750890 modified "2023-09-29" @default.
- W96750890 title "The λ-calculus in the π-calculus" @default.
- W96750890 cites W104000688 @default.
- W96750890 cites W1517276975 @default.
- W96750890 cites W1526102560 @default.
- W96750890 cites W1562901937 @default.
- W96750890 cites W1591694044 @default.
- W96750890 cites W1618555394 @default.
- W96750890 cites W1966949854 @default.
- W96750890 cites W1998827035 @default.
- W96750890 cites W2001299902 @default.
- W96750890 cites W2057247258 @default.
- W96750890 cites W2072848882 @default.
- W96750890 cites W2075040560 @default.
- W96750890 cites W2085273936 @default.
- W96750890 cites W2088735483 @default.
- W96750890 cites W2128932399 @default.
- W96750890 cites W2161127621 @default.
- W96750890 cites W2165407648 @default.
- W96750890 cites W2170052897 @default.
- W96750890 cites W2170626879 @default.
- W96750890 cites W2201760732 @default.
- W96750890 cites W2476379118 @default.
- W96750890 cites W2914597273 @default.
- W96750890 cites W3124439491 @default.
- W96750890 doi "https://doi.org/10.1017/s0960129511000260" @default.
- W96750890 hasPublicationYear "2011" @default.
- W96750890 type Work @default.
- W96750890 sameAs 96750890 @default.
- W96750890 citedByCount "7" @default.
- W96750890 countsByYear W967508902013 @default.
- W96750890 countsByYear W967508902014 @default.
- W96750890 countsByYear W967508902016 @default.
- W96750890 countsByYear W967508902017 @default.
- W96750890 crossrefType "journal-article" @default.
- W96750890 hasAuthorship W96750890A5026708634 @default.
- W96750890 hasAuthorship W96750890A5061169613 @default.
- W96750890 hasConcept C118615104 @default.
- W96750890 hasConcept C125411270 @default.
- W96750890 hasConcept C135790938 @default.
- W96750890 hasConcept C136119220 @default.
- W96750890 hasConcept C142156749 @default.
- W96750890 hasConcept C154945302 @default.
- W96750890 hasConcept C195818886 @default.
- W96750890 hasConcept C199343813 @default.
- W96750890 hasConcept C199360897 @default.
- W96750890 hasConcept C202444582 @default.
- W96750890 hasConcept C22497172 @default.
- W96750890 hasConcept C2777686260 @default.
- W96750890 hasConcept C2984882572 @default.
- W96750890 hasConcept C33923547 @default.
- W96750890 hasConcept C41008148 @default.
- W96750890 hasConcept C61237538 @default.
- W96750890 hasConcept C71924100 @default.
- W96750890 hasConcept C77736955 @default.
- W96750890 hasConcept C80444323 @default.
- W96750890 hasConceptScore W96750890C118615104 @default.
- W96750890 hasConceptScore W96750890C125411270 @default.
- W96750890 hasConceptScore W96750890C135790938 @default.
- W96750890 hasConceptScore W96750890C136119220 @default.
- W96750890 hasConceptScore W96750890C142156749 @default.
- W96750890 hasConceptScore W96750890C154945302 @default.
- W96750890 hasConceptScore W96750890C195818886 @default.
- W96750890 hasConceptScore W96750890C199343813 @default.
- W96750890 hasConceptScore W96750890C199360897 @default.
- W96750890 hasConceptScore W96750890C202444582 @default.
- W96750890 hasConceptScore W96750890C22497172 @default.
- W96750890 hasConceptScore W96750890C2777686260 @default.
- W96750890 hasConceptScore W96750890C2984882572 @default.
- W96750890 hasConceptScore W96750890C33923547 @default.
- W96750890 hasConceptScore W96750890C41008148 @default.
- W96750890 hasConceptScore W96750890C61237538 @default.
- W96750890 hasConceptScore W96750890C71924100 @default.
- W96750890 hasConceptScore W96750890C77736955 @default.
- W96750890 hasConceptScore W96750890C80444323 @default.
- W96750890 hasIssue "5" @default.
- W96750890 hasLocation W967508901 @default.
- W96750890 hasOpenAccess W96750890 @default.
- W96750890 hasPrimaryLocation W967508901 @default.
- W96750890 hasRelatedWork W1503779485 @default.
- W96750890 hasRelatedWork W1595139175 @default.
- W96750890 hasRelatedWork W160450709 @default.
- W96750890 hasRelatedWork W2101274322 @default.
- W96750890 hasRelatedWork W2114151019 @default.
- W96750890 hasRelatedWork W2276378996 @default.
- W96750890 hasRelatedWork W2661990870 @default.
- W96750890 hasRelatedWork W4281982925 @default.
- W96750890 hasRelatedWork W811489916 @default.
- W96750890 hasRelatedWork W96750890 @default.
- W96750890 hasVolume "21" @default.
- W96750890 isParatext "false" @default.
- W96750890 isRetracted "false" @default.
- W96750890 magId "96750890" @default.