Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387635903> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4387635903 abstract "We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level." @default.
- W4387635903 created "2023-10-14" @default.
- W4387635903 creator A5009974119 @default.
- W4387635903 creator A5063731082 @default.
- W4387635903 creator A5073164575 @default.
- W4387635903 creator A5093063167 @default.
- W4387635903 date "2023-10-12" @default.
- W4387635903 modified "2023-10-15" @default.
- W4387635903 title "A linear proof language for second-order intuitionistic linear logic" @default.
- W4387635903 doi "https://doi.org/10.48550/arxiv.2310.08517" @default.
- W4387635903 hasPublicationYear "2023" @default.
- W4387635903 type Work @default.
- W4387635903 citedByCount "0" @default.
- W4387635903 crossrefType "posted-content" @default.
- W4387635903 hasAuthorship W4387635903A5009974119 @default.
- W4387635903 hasAuthorship W4387635903A5063731082 @default.
- W4387635903 hasAuthorship W4387635903A5073164575 @default.
- W4387635903 hasAuthorship W4387635903A5093063167 @default.
- W4387635903 hasBestOaLocation W43876359031 @default.
- W4387635903 hasConcept C10138342 @default.
- W4387635903 hasConcept C108710211 @default.
- W4387635903 hasConcept C118615104 @default.
- W4387635903 hasConcept C121332964 @default.
- W4387635903 hasConcept C136119220 @default.
- W4387635903 hasConcept C162324750 @default.
- W4387635903 hasConcept C182306322 @default.
- W4387635903 hasConcept C195653647 @default.
- W4387635903 hasConcept C199343813 @default.
- W4387635903 hasConcept C202444582 @default.
- W4387635903 hasConcept C2318724 @default.
- W4387635903 hasConcept C2524010 @default.
- W4387635903 hasConcept C2777686260 @default.
- W4387635903 hasConcept C28077239 @default.
- W4387635903 hasConcept C33923547 @default.
- W4387635903 hasConcept C62073222 @default.
- W4387635903 hasConcept C62520636 @default.
- W4387635903 hasConcept C6489637 @default.
- W4387635903 hasConcept C71924100 @default.
- W4387635903 hasConcept C77170095 @default.
- W4387635903 hasConcept C85343465 @default.
- W4387635903 hasConceptScore W4387635903C10138342 @default.
- W4387635903 hasConceptScore W4387635903C108710211 @default.
- W4387635903 hasConceptScore W4387635903C118615104 @default.
- W4387635903 hasConceptScore W4387635903C121332964 @default.
- W4387635903 hasConceptScore W4387635903C136119220 @default.
- W4387635903 hasConceptScore W4387635903C162324750 @default.
- W4387635903 hasConceptScore W4387635903C182306322 @default.
- W4387635903 hasConceptScore W4387635903C195653647 @default.
- W4387635903 hasConceptScore W4387635903C199343813 @default.
- W4387635903 hasConceptScore W4387635903C202444582 @default.
- W4387635903 hasConceptScore W4387635903C2318724 @default.
- W4387635903 hasConceptScore W4387635903C2524010 @default.
- W4387635903 hasConceptScore W4387635903C2777686260 @default.
- W4387635903 hasConceptScore W4387635903C28077239 @default.
- W4387635903 hasConceptScore W4387635903C33923547 @default.
- W4387635903 hasConceptScore W4387635903C62073222 @default.
- W4387635903 hasConceptScore W4387635903C62520636 @default.
- W4387635903 hasConceptScore W4387635903C6489637 @default.
- W4387635903 hasConceptScore W4387635903C71924100 @default.
- W4387635903 hasConceptScore W4387635903C77170095 @default.
- W4387635903 hasConceptScore W4387635903C85343465 @default.
- W4387635903 hasLocation W43876359031 @default.
- W4387635903 hasOpenAccess W4387635903 @default.
- W4387635903 hasPrimaryLocation W43876359031 @default.
- W4387635903 hasRelatedWork W1999703197 @default.
- W4387635903 hasRelatedWork W2033813295 @default.
- W4387635903 hasRelatedWork W2108922266 @default.
- W4387635903 hasRelatedWork W2134382089 @default.
- W4387635903 hasRelatedWork W2147302656 @default.
- W4387635903 hasRelatedWork W2166879872 @default.
- W4387635903 hasRelatedWork W2170954486 @default.
- W4387635903 hasRelatedWork W2210298890 @default.
- W4387635903 hasRelatedWork W2603452578 @default.
- W4387635903 hasRelatedWork W2753667555 @default.
- W4387635903 isParatext "false" @default.
- W4387635903 isRetracted "false" @default.
- W4387635903 workType "article" @default.