Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151782428> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2151782428 abstract "We introduce a calculus which is a direct extension of both the λ and the π calculi. We give a simple type system for it, that encompasses both Curry's type inference for the λ-calculus, and Milner's sorting for the π-calculus as particular cases of typing. We observe that the various continuation passing style transformations for λ-terms, written in our calculus, actually correspond to encodings already given by Milner and others for evaluation strategies of λ-terms into the π-calculus. Furthermore, the associated sortings correspond to well-known double negation translations on types. Finally we provide an adequate CPS transform from our calculus to the π-calculus. This shows that the latter may be regarded as an assembly language, while our calculus seems to provide a better programming notation for higher-order concurrency." @default.
- W2151782428 created "2016-06-24" @default.
- W2151782428 creator A5071221220 @default.
- W2151782428 date "1997-01-01" @default.
- W2151782428 modified "2023-10-18" @default.
- W2151782428 title "The π-calculus in direct style" @default.
- W2151782428 cites W1487583155 @default.
- W2151782428 cites W1503779485 @default.
- W2151782428 cites W1507802114 @default.
- W2151782428 cites W1509848993 @default.
- W2151782428 cites W1532742882 @default.
- W2151782428 cites W1571962375 @default.
- W2151782428 cites W1580664042 @default.
- W2151782428 cites W1600737813 @default.
- W2151782428 cites W1705036269 @default.
- W2151782428 cites W1790031272 @default.
- W2151782428 cites W1824183965 @default.
- W2151782428 cites W1977212480 @default.
- W2151782428 cites W2002662408 @default.
- W2151782428 cites W2004843654 @default.
- W2151782428 cites W2013672985 @default.
- W2151782428 cites W2015888335 @default.
- W2151782428 cites W2031709122 @default.
- W2151782428 cites W2050942832 @default.
- W2151782428 cites W2055378322 @default.
- W2151782428 cites W2088735483 @default.
- W2151782428 cites W2088941870 @default.
- W2151782428 cites W2102549858 @default.
- W2151782428 cites W2103201802 @default.
- W2151782428 cites W2107438584 @default.
- W2151782428 cites W2123884954 @default.
- W2151782428 cites W2128932399 @default.
- W2151782428 cites W2134112335 @default.
- W2151782428 cites W2138037343 @default.
- W2151782428 cites W2152309268 @default.
- W2151782428 cites W2162477369 @default.
- W2151782428 cites W2165407648 @default.
- W2151782428 cites W2170626879 @default.
- W2151782428 cites W2176500975 @default.
- W2151782428 cites W267417 @default.
- W2151782428 cites W2756770874 @default.
- W2151782428 doi "https://doi.org/10.1145/263699.263726" @default.
- W2151782428 hasPublicationYear "1997" @default.
- W2151782428 type Work @default.
- W2151782428 sameAs 2151782428 @default.
- W2151782428 citedByCount "53" @default.
- W2151782428 countsByYear W21517824282022 @default.
- W2151782428 crossrefType "proceedings-article" @default.
- W2151782428 hasAuthorship W2151782428A5071221220 @default.
- W2151782428 hasConcept C124952713 @default.
- W2151782428 hasConcept C142362112 @default.
- W2151782428 hasConcept C199343813 @default.
- W2151782428 hasConcept C2776445246 @default.
- W2151782428 hasConcept C2777686260 @default.
- W2151782428 hasConcept C33923547 @default.
- W2151782428 hasConcept C41008148 @default.
- W2151782428 hasConcept C71924100 @default.
- W2151782428 hasConceptScore W2151782428C124952713 @default.
- W2151782428 hasConceptScore W2151782428C142362112 @default.
- W2151782428 hasConceptScore W2151782428C199343813 @default.
- W2151782428 hasConceptScore W2151782428C2776445246 @default.
- W2151782428 hasConceptScore W2151782428C2777686260 @default.
- W2151782428 hasConceptScore W2151782428C33923547 @default.
- W2151782428 hasConceptScore W2151782428C41008148 @default.
- W2151782428 hasConceptScore W2151782428C71924100 @default.
- W2151782428 hasLocation W21517824281 @default.
- W2151782428 hasOpenAccess W2151782428 @default.
- W2151782428 hasPrimaryLocation W21517824281 @default.
- W2151782428 hasRelatedWork W1974891317 @default.
- W2151782428 hasRelatedWork W2044189972 @default.
- W2151782428 hasRelatedWork W2063488590 @default.
- W2151782428 hasRelatedWork W2313400459 @default.
- W2151782428 hasRelatedWork W2748952813 @default.
- W2151782428 hasRelatedWork W2899084033 @default.
- W2151782428 hasRelatedWork W2913765211 @default.
- W2151782428 hasRelatedWork W4225152035 @default.
- W2151782428 hasRelatedWork W4230623537 @default.
- W2151782428 hasRelatedWork W4245490552 @default.
- W2151782428 isParatext "false" @default.
- W2151782428 isRetracted "false" @default.
- W2151782428 magId "2151782428" @default.
- W2151782428 workType "article" @default.