Matches in SemOpenAlex for { <https://semopenalex.org/work/W2940377225> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2940377225 abstract "This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both theoretical and practical approaches to computer science. On the theoretical side there is much work stemming from linear logic dealing with proof technology, complexity classes and more recently quantum computation. On the practical side there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. Linear logic is not only a theoretical tool to analyse the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that were originally developed for the study of linear logic's syntax and semantics and are nowadays applied in several other fields." @default.
- W2940377225 created "2019-04-25" @default.
- W2940377225 creator A5006888140 @default.
- W2940377225 creator A5033562494 @default.
- W2940377225 creator A5047624745 @default.
- W2940377225 creator A5072769917 @default.
- W2940377225 date "2019-04-15" @default.
- W2940377225 modified "2023-09-23" @default.
- W2940377225 doi "https://doi.org/10.4204/eptcs.292" @default.
- W2940377225 hasPublicationYear "2019" @default.
- W2940377225 type Work @default.
- W2940377225 sameAs 2940377225 @default.
- W2940377225 citedByCount "0" @default.
- W2940377225 crossrefType "journal-issue" @default.
- W2940377225 hasAuthorship W2940377225A5006888140 @default.
- W2940377225 hasAuthorship W2940377225A5033562494 @default.
- W2940377225 hasAuthorship W2940377225A5047624745 @default.
- W2940377225 hasAuthorship W2940377225A5072769917 @default.
- W2940377225 hasBestOaLocation W29403772251 @default.
- W2940377225 hasConcept C11413529 @default.
- W2940377225 hasConcept C127413603 @default.
- W2940377225 hasConcept C128838566 @default.
- W2940377225 hasConcept C136119220 @default.
- W2940377225 hasConcept C154945302 @default.
- W2940377225 hasConcept C184337299 @default.
- W2940377225 hasConcept C199360897 @default.
- W2940377225 hasConcept C202444582 @default.
- W2940377225 hasConcept C24326235 @default.
- W2940377225 hasConcept C28077239 @default.
- W2940377225 hasConcept C33923547 @default.
- W2940377225 hasConcept C41008148 @default.
- W2940377225 hasConcept C41045048 @default.
- W2940377225 hasConcept C45374587 @default.
- W2940377225 hasConcept C60048249 @default.
- W2940377225 hasConcept C77170095 @default.
- W2940377225 hasConcept C80444323 @default.
- W2940377225 hasConceptScore W2940377225C11413529 @default.
- W2940377225 hasConceptScore W2940377225C127413603 @default.
- W2940377225 hasConceptScore W2940377225C128838566 @default.
- W2940377225 hasConceptScore W2940377225C136119220 @default.
- W2940377225 hasConceptScore W2940377225C154945302 @default.
- W2940377225 hasConceptScore W2940377225C184337299 @default.
- W2940377225 hasConceptScore W2940377225C199360897 @default.
- W2940377225 hasConceptScore W2940377225C202444582 @default.
- W2940377225 hasConceptScore W2940377225C24326235 @default.
- W2940377225 hasConceptScore W2940377225C28077239 @default.
- W2940377225 hasConceptScore W2940377225C33923547 @default.
- W2940377225 hasConceptScore W2940377225C41008148 @default.
- W2940377225 hasConceptScore W2940377225C41045048 @default.
- W2940377225 hasConceptScore W2940377225C45374587 @default.
- W2940377225 hasConceptScore W2940377225C60048249 @default.
- W2940377225 hasConceptScore W2940377225C77170095 @default.
- W2940377225 hasConceptScore W2940377225C80444323 @default.
- W2940377225 hasLocation W29403772251 @default.
- W2940377225 hasLocation W29403772252 @default.
- W2940377225 hasOpenAccess W2940377225 @default.
- W2940377225 hasPrimaryLocation W29403772251 @default.
- W2940377225 hasRelatedWork W136317132 @default.
- W2940377225 hasRelatedWork W1488103720 @default.
- W2940377225 hasRelatedWork W1643455076 @default.
- W2940377225 hasRelatedWork W183814118 @default.
- W2940377225 hasRelatedWork W1934823047 @default.
- W2940377225 hasRelatedWork W1970535625 @default.
- W2940377225 hasRelatedWork W2339298563 @default.
- W2940377225 hasRelatedWork W2486680525 @default.
- W2940377225 hasRelatedWork W2890400054 @default.
- W2940377225 hasRelatedWork W2891090137 @default.
- W2940377225 hasRelatedWork W2915016821 @default.
- W2940377225 hasRelatedWork W2968984171 @default.
- W2940377225 hasRelatedWork W3088004577 @default.
- W2940377225 hasRelatedWork W3105668385 @default.
- W2940377225 hasRelatedWork W311224135 @default.
- W2940377225 hasRelatedWork W3181237918 @default.
- W2940377225 hasRelatedWork W39766778 @default.
- W2940377225 hasRelatedWork W76825389 @default.
- W2940377225 hasRelatedWork W81298477 @default.
- W2940377225 hasRelatedWork W2107715201 @default.
- W2940377225 isParatext "false" @default.
- W2940377225 isRetracted "false" @default.
- W2940377225 magId "2940377225" @default.
- W2940377225 workType "paratext" @default.