FRINK Linked Data Fragments server

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

• W1536082757 abstract "A polarized version of Girard, Scedrov and Scott's Bounded Linear Logic is introduced and its normalization properties studied. Following Laurent, the logic naturally gives rise to a type system for the lambda-mu-calculus, whose derivations reveal bounds on the time complexity of the underlying term. This is the first example of a type system for the lambda-mu-calculus guaranteeing time complexity bounds for typable programs." @default.
• W1536082757 created "2016-06-24" @default.
• W1536082757 creator A5047707818 @default.
• W1536082757 creator A5084450516 @default.
• W1536082757 date "2013-10-07" @default.
• W1536082757 modified "2023-09-23" @default.
• W1536082757 title "Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version)." @default.
• W1536082757 cites W1534493251 @default.
• W1536082757 cites W1567048749 @default.
• W1536082757 cites W1599625180 @default.
• W1536082757 cites W1969548989 @default.
• W1536082757 cites W1971256104 @default.
• W1536082757 cites W1985185257 @default.
• W1536082757 cites W1988097129 @default.
• W1536082757 cites W2008920425 @default.
• W1536082757 cites W2016326123 @default.
• W1536082757 cites W2031381178 @default.
• W1536082757 cites W2047559554 @default.
• W1536082757 cites W2076285066 @default.
• W1536082757 cites W2091581695 @default.
• W1536082757 cites W2102222848 @default.
• W1536082757 cites W2112969535 @default.
• W1536082757 cites W2135287414 @default.
• W1536082757 cites W2158015668 @default.
• W1536082757 cites W2164591125 @default.
• W1536082757 cites W2276552877 @default.
• W1536082757 cites W2911865844 @default.
• W1536082757 cites W2952320118 @default.
• W1536082757 hasPublicationYear "2013" @default.
• W1536082757 type Work @default.
• W1536082757 sameAs 1536082757 @default.
• W1536082757 citedByCount "1" @default.
• W1536082757 countsByYear W15360827572014 @default.
• W1536082757 crossrefType "posted-content" @default.
• W1536082757 hasAuthorship W1536082757A5047707818 @default.
• W1536082757 hasAuthorship W1536082757A5084450516 @default.
• W1536082757 hasConcept C118615104 @default.
• W1536082757 hasConcept C120665830 @default.
• W1536082757 hasConcept C121332964 @default.
• W1536082757 hasConcept C134306372 @default.
• W1536082757 hasConcept C135790938 @default.
• W1536082757 hasConcept C136119220 @default.
• W1536082757 hasConcept C136886441 @default.
• W1536082757 hasConcept C144024400 @default.
• W1536082757 hasConcept C18903297 @default.
• W1536082757 hasConcept C19165224 @default.
• W1536082757 hasConcept C199343813 @default.
• W1536082757 hasConcept C202444582 @default.
• W1536082757 hasConcept C20528804 @default.
• W1536082757 hasConcept C2777299769 @default.
• W1536082757 hasConcept C2777686260 @default.
• W1536082757 hasConcept C2778113609 @default.
• W1536082757 hasConcept C28077239 @default.
• W1536082757 hasConcept C33923547 @default.
• W1536082757 hasConcept C34388435 @default.
• W1536082757 hasConcept C41008148 @default.
• W1536082757 hasConcept C55128367 @default.
• W1536082757 hasConcept C61797465 @default.
• W1536082757 hasConcept C62520636 @default.
• W1536082757 hasConcept C71924100 @default.
• W1536082757 hasConcept C85343465 @default.
• W1536082757 hasConcept C86803240 @default.
• W1536082757 hasConceptScore W1536082757C118615104 @default.
• W1536082757 hasConceptScore W1536082757C120665830 @default.
• W1536082757 hasConceptScore W1536082757C121332964 @default.
• W1536082757 hasConceptScore W1536082757C134306372 @default.
• W1536082757 hasConceptScore W1536082757C135790938 @default.
• W1536082757 hasConceptScore W1536082757C136119220 @default.
• W1536082757 hasConceptScore W1536082757C136886441 @default.
• W1536082757 hasConceptScore W1536082757C144024400 @default.
• W1536082757 hasConceptScore W1536082757C18903297 @default.
• W1536082757 hasConceptScore W1536082757C19165224 @default.
• W1536082757 hasConceptScore W1536082757C199343813 @default.
• W1536082757 hasConceptScore W1536082757C202444582 @default.
• W1536082757 hasConceptScore W1536082757C20528804 @default.
• W1536082757 hasConceptScore W1536082757C2777299769 @default.
• W1536082757 hasConceptScore W1536082757C2777686260 @default.
• W1536082757 hasConceptScore W1536082757C2778113609 @default.
• W1536082757 hasConceptScore W1536082757C28077239 @default.
• W1536082757 hasConceptScore W1536082757C33923547 @default.
• W1536082757 hasConceptScore W1536082757C34388435 @default.
• W1536082757 hasConceptScore W1536082757C41008148 @default.
• W1536082757 hasConceptScore W1536082757C55128367 @default.
• W1536082757 hasConceptScore W1536082757C61797465 @default.
• W1536082757 hasConceptScore W1536082757C62520636 @default.
• W1536082757 hasConceptScore W1536082757C71924100 @default.
• W1536082757 hasConceptScore W1536082757C85343465 @default.
• W1536082757 hasConceptScore W1536082757C86803240 @default.
• W1536082757 hasLocation W15360827571 @default.
• W1536082757 hasOpenAccess W1536082757 @default.
• W1536082757 hasPrimaryLocation W15360827571 @default.
• W1536082757 hasRelatedWork W113209803 @default.
• W1536082757 hasRelatedWork W1503804217 @default.
• W1536082757 hasRelatedWork W2018805361 @default.
• W1536082757 hasRelatedWork W2070983411 @default.
• W1536082757 hasRelatedWork W2071534521 @default.
• W1536082757 hasRelatedWork W2109724541 @default.
• W1536082757 hasRelatedWork W2114235518 @default.
• W1536082757 hasRelatedWork W2116766306 @default.
• W1536082757 hasRelatedWork W2126864471 @default.

• next