FRINK Linked Data Fragments server

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

• W2161063399 abstract "We reconsider work by Bellin and Scott in the 1990s on R. Milner and S. Abramsky's encoding of linear logic in the π-calculus and give an account of efforts to establish a tight connection between the structure of proofs and of the cut elimination process in multiplicative linear logic, on one hand, and the input-output behaviour of the processes that represent them, on the other, resulting in a proof-theoretic account of a variant of Chu's construction. But Milner's encoding of the linear lambda calculus suggests consideration of multiplicative co-intuitionistic linear logic: we provide a term assignment for it, a calculus of coroutines which presents features of concurrent and distributed computing. Finally, as a test case of its adequacy as a logic for distributed computation, we represent our term assignment as a λP system. We argue that translations of typed functional languages in concurrent and distributed systems such as π-calculi or λP systems are best typed with co-intuitionistic logic, where some features of computations match the logical properties in a natural way." @default.
• W2161063399 created "2016-06-24" @default.
• W2161063399 creator A5018581775 @default.
• W2161063399 creator A5045383214 @default.
• W2161063399 date "2014-01-01" @default.
• W2161063399 modified "2023-09-26" @default.
• W2161063399 title "On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems" @default.
• W2161063399 cites W1144360868 @default.
• W2161063399 cites W1507409515 @default.
• W2161063399 cites W1529563803 @default.
• W2161063399 cites W1549245411 @default.
• W2161063399 cites W1607623316 @default.
• W2161063399 cites W1622750659 @default.
• W2161063399 cites W1992582651 @default.
• W2161063399 cites W2004048608 @default.
• W2161063399 cites W2004063149 @default.
• W2161063399 cites W2008838944 @default.
• W2161063399 cites W2010113673 @default.
• W2161063399 cites W2010649834 @default.
• W2161063399 cites W2018773995 @default.
• W2161063399 cites W202594192 @default.
• W2161063399 cites W2074139511 @default.
• W2161063399 cites W2077879002 @default.
• W2161063399 cites W2103201802 @default.
• W2161063399 cites W2112970627 @default.
• W2161063399 cites W2122630589 @default.
• W2161063399 cites W2129295475 @default.
• W2161063399 cites W2151402914 @default.
• W2161063399 cites W2153557668 @default.
• W2161063399 cites W2156159683 @default.
• W2161063399 cites W2158708642 @default.
• W2161063399 cites W2168538078 @default.
• W2161063399 cites W2899352947 @default.
• W2161063399 cites W2911865844 @default.
• W2161063399 cites W946525731 @default.
• W2161063399 cites W159920301 @default.
• W2161063399 doi "https://doi.org/10.3233/fi-2014-981" @default.
• W2161063399 hasPublicationYear "2014" @default.
• W2161063399 type Work @default.
• W2161063399 sameAs 2161063399 @default.
• W2161063399 citedByCount "4" @default.
• W2161063399 countsByYear W21610633992014 @default.
• W2161063399 countsByYear W21610633992015 @default.
• W2161063399 countsByYear W21610633992016 @default.
• W2161063399 crossrefType "journal-article" @default.
• W2161063399 hasAuthorship W2161063399A5018581775 @default.
• W2161063399 hasAuthorship W2161063399A5045383214 @default.
• W2161063399 hasConcept C102993220 @default.
• W2161063399 hasConcept C108710211 @default.
• W2161063399 hasConcept C110039528 @default.
• W2161063399 hasConcept C118615104 @default.
• W2161063399 hasConcept C134306372 @default.
• W2161063399 hasConcept C135790938 @default.
• W2161063399 hasConcept C161771561 @default.
• W2161063399 hasConcept C171482190 @default.
• W2161063399 hasConcept C178421362 @default.
• W2161063399 hasConcept C193702766 @default.
• W2161063399 hasConcept C199343813 @default.
• W2161063399 hasConcept C199360897 @default.
• W2161063399 hasConcept C203659156 @default.
• W2161063399 hasConcept C2524010 @default.
• W2161063399 hasConcept C2777686260 @default.
• W2161063399 hasConcept C28077239 @default.
• W2161063399 hasConcept C33923547 @default.
• W2161063399 hasConcept C41008148 @default.
• W2161063399 hasConcept C42747912 @default.
• W2161063399 hasConcept C71924100 @default.
• W2161063399 hasConcept C80444323 @default.
• W2161063399 hasConcept C85343465 @default.
• W2161063399 hasConceptScore W2161063399C102993220 @default.
• W2161063399 hasConceptScore W2161063399C108710211 @default.
• W2161063399 hasConceptScore W2161063399C110039528 @default.
• W2161063399 hasConceptScore W2161063399C118615104 @default.
• W2161063399 hasConceptScore W2161063399C134306372 @default.
• W2161063399 hasConceptScore W2161063399C135790938 @default.
• W2161063399 hasConceptScore W2161063399C161771561 @default.
• W2161063399 hasConceptScore W2161063399C171482190 @default.
• W2161063399 hasConceptScore W2161063399C178421362 @default.
• W2161063399 hasConceptScore W2161063399C193702766 @default.
• W2161063399 hasConceptScore W2161063399C199343813 @default.
• W2161063399 hasConceptScore W2161063399C199360897 @default.
• W2161063399 hasConceptScore W2161063399C203659156 @default.
• W2161063399 hasConceptScore W2161063399C2524010 @default.
• W2161063399 hasConceptScore W2161063399C2777686260 @default.
• W2161063399 hasConceptScore W2161063399C28077239 @default.
• W2161063399 hasConceptScore W2161063399C33923547 @default.
• W2161063399 hasConceptScore W2161063399C41008148 @default.
• W2161063399 hasConceptScore W2161063399C42747912 @default.
• W2161063399 hasConceptScore W2161063399C71924100 @default.
• W2161063399 hasConceptScore W2161063399C80444323 @default.
• W2161063399 hasConceptScore W2161063399C85343465 @default.
• W2161063399 hasLocation W21610633991 @default.
• W2161063399 hasOpenAccess W2161063399 @default.
• W2161063399 hasPrimaryLocation W21610633991 @default.
• W2161063399 hasRelatedWork W1975736377 @default.
• W2161063399 hasRelatedWork W1992582651 @default.
• W2161063399 hasRelatedWork W2014085418 @default.
• W2161063399 hasRelatedWork W2038229970 @default.
• W2161063399 hasRelatedWork W2094912919 @default.
• W2161063399 hasRelatedWork W2158912352 @default.

• next