FRINK Linked Data Fragments server

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

• W3038520287 abstract "We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) was originally meant for quantum computing, as an extension to System F where linear combinations of lambda terms are also terms and linear combinations of types are also types. In its first presentation, Vectorial only provides a weakened version of the Subject Reduction property. We prove that our revised Vectorial Lambda Calculus supports the standard version of said property. In addition we also introduce the concept of weight of types and terms, and prove a relation between the weight of terms and of its types." @default.
• W3038520287 created "2020-07-10" @default.
• W3038520287 creator A5063731082 @default.
• W3038520287 creator A5088856241 @default.
• W3038520287 date "2020-07-07" @default.
• W3038520287 modified "2023-09-27" @default.
• W3038520287 title "The Vectorial Lambda Calculus Revisited." @default.
• W3038520287 cites W1537615043 @default.
• W3038520287 cites W1554598184 @default.
• W3038520287 cites W1999626800 @default.
• W3038520287 cites W2110240249 @default.
• W3038520287 cites W2114421037 @default.
• W3038520287 cites W2145862486 @default.
• W3038520287 cites W21537352 @default.
• W3038520287 cites W2160347025 @default.
• W3038520287 cites W2563269605 @default.
• W3038520287 cites W2763701400 @default.
• W3038520287 cites W2990797250 @default.
• W3038520287 cites W2990961515 @default.
• W3038520287 cites W3099155063 @default.
• W3038520287 cites W3100233597 @default.
• W3038520287 cites W3102581998 @default.
• W3038520287 cites W3105392254 @default.
• W3038520287 cites W3110898182 @default.
• W3038520287 cites W3111235101 @default.
• W3038520287 hasPublicationYear "2020" @default.
• W3038520287 type Work @default.
• W3038520287 sameAs 3038520287 @default.
• W3038520287 citedByCount "0" @default.
• W3038520287 crossrefType "posted-content" @default.
• W3038520287 hasAuthorship W3038520287A5063731082 @default.
• W3038520287 hasAuthorship W3038520287A5088856241 @default.
• W3038520287 hasConcept C111472728 @default.
• W3038520287 hasConcept C118615104 @default.
• W3038520287 hasConcept C121332964 @default.
• W3038520287 hasConcept C135790938 @default.
• W3038520287 hasConcept C136119220 @default.
• W3038520287 hasConcept C138885662 @default.
• W3038520287 hasConcept C142156749 @default.
• W3038520287 hasConcept C18903297 @default.
• W3038520287 hasConcept C189950617 @default.
• W3038520287 hasConcept C199343813 @default.
• W3038520287 hasConcept C199360897 @default.
• W3038520287 hasConcept C202444582 @default.
• W3038520287 hasConcept C2777299769 @default.
• W3038520287 hasConcept C2777686260 @default.
• W3038520287 hasConcept C2778029271 @default.
• W3038520287 hasConcept C2778113609 @default.
• W3038520287 hasConcept C33923547 @default.
• W3038520287 hasConcept C41008148 @default.
• W3038520287 hasConcept C55128367 @default.
• W3038520287 hasConcept C61237538 @default.
• W3038520287 hasConcept C62520636 @default.
• W3038520287 hasConcept C71924100 @default.
• W3038520287 hasConcept C77736955 @default.
• W3038520287 hasConcept C86803240 @default.
• W3038520287 hasConceptScore W3038520287C111472728 @default.
• W3038520287 hasConceptScore W3038520287C118615104 @default.
• W3038520287 hasConceptScore W3038520287C121332964 @default.
• W3038520287 hasConceptScore W3038520287C135790938 @default.
• W3038520287 hasConceptScore W3038520287C136119220 @default.
• W3038520287 hasConceptScore W3038520287C138885662 @default.
• W3038520287 hasConceptScore W3038520287C142156749 @default.
• W3038520287 hasConceptScore W3038520287C18903297 @default.
• W3038520287 hasConceptScore W3038520287C189950617 @default.
• W3038520287 hasConceptScore W3038520287C199343813 @default.
• W3038520287 hasConceptScore W3038520287C199360897 @default.
• W3038520287 hasConceptScore W3038520287C202444582 @default.
• W3038520287 hasConceptScore W3038520287C2777299769 @default.
• W3038520287 hasConceptScore W3038520287C2777686260 @default.
• W3038520287 hasConceptScore W3038520287C2778029271 @default.
• W3038520287 hasConceptScore W3038520287C2778113609 @default.
• W3038520287 hasConceptScore W3038520287C33923547 @default.
• W3038520287 hasConceptScore W3038520287C41008148 @default.
• W3038520287 hasConceptScore W3038520287C55128367 @default.
• W3038520287 hasConceptScore W3038520287C61237538 @default.
• W3038520287 hasConceptScore W3038520287C62520636 @default.
• W3038520287 hasConceptScore W3038520287C71924100 @default.
• W3038520287 hasConceptScore W3038520287C77736955 @default.
• W3038520287 hasConceptScore W3038520287C86803240 @default.
• W3038520287 hasLocation W30385202871 @default.
• W3038520287 hasOpenAccess W3038520287 @default.
• W3038520287 hasPrimaryLocation W30385202871 @default.
• W3038520287 hasRelatedWork W1487757690 @default.
• W3038520287 hasRelatedWork W1515150570 @default.
• W3038520287 hasRelatedWork W1709755937 @default.
• W3038520287 hasRelatedWork W1899927323 @default.
• W3038520287 hasRelatedWork W1908505045 @default.
• W3038520287 hasRelatedWork W1973520397 @default.
• W3038520287 hasRelatedWork W2040202569 @default.
• W3038520287 hasRelatedWork W2107467380 @default.
• W3038520287 hasRelatedWork W2114078774 @default.
• W3038520287 hasRelatedWork W2145224393 @default.
• W3038520287 hasRelatedWork W2146443229 @default.
• W3038520287 hasRelatedWork W2909932931 @default.
• W3038520287 hasRelatedWork W2949663534 @default.
• W3038520287 hasRelatedWork W2957545921 @default.
• W3038520287 hasRelatedWork W2957597259 @default.
• W3038520287 hasRelatedWork W2963424697 @default.
• W3038520287 hasRelatedWork W3097998064 @default.

• next