FRINK Linked Data Fragments server

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

• W2063043413 endingPage "320" @default.
• W2063043413 startingPage "311" @default.
• W2063043413 abstract "An explicit -- sharing lambda-calculus is presented, based on a Curry -- Howard-style interpretation of the deep inference proof formalism. Duplication of subterms during reduction proceeds 'atomically', i.e. on individual constructors, similar to optimal graph reduction in the style of Lamping. The calculus preserves strong normalisation with respect to the lambdacalculus, and achieves fully lazy sharing." @default.
• W2063043413 created "2016-06-24" @default.
• W2063043413 creator A5001628885 @default.
• W2063043413 creator A5081519201 @default.
• W2063043413 creator A5083676860 @default.
• W2063043413 date "2013-06-25" @default.
• W2063043413 modified "2023-09-26" @default.
• W2063043413 title "Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing" @default.
• W2063043413 cites W1534718845 @default.
• W2063043413 cites W1543641760 @default.
• W2063043413 cites W1811725859 @default.
• W2063043413 cites W1980647766 @default.
• W2063043413 cites W1987185889 @default.
• W2063043413 cites W2008868842 @default.
• W2063043413 cites W2083331063 @default.
• W2063043413 cites W2085014646 @default.
• W2063043413 cites W2091382363 @default.
• W2063043413 cites W2112022010 @default.
• W2063043413 cites W2154273644 @default.
• W2063043413 cites W2186479326 @default.
• W2063043413 cites W2214437647 @default.
• W2063043413 cites W2287743366 @default.
• W2063043413 cites W22906389 @default.
• W2063043413 cites W2789828010 @default.
• W2063043413 cites W2584124342 @default.
• W2063043413 doi "https://doi.org/10.5555/2591370.2591373" @default.
• W2063043413 hasPublicationYear "2013" @default.
• W2063043413 type Work @default.
• W2063043413 sameAs 2063043413 @default.
• W2063043413 citedByCount "10" @default.
• W2063043413 countsByYear W20630434132014 @default.
• W2063043413 countsByYear W20630434132016 @default.
• W2063043413 countsByYear W20630434132017 @default.
• W2063043413 countsByYear W20630434132018 @default.
• W2063043413 countsByYear W20630434132019 @default.
• W2063043413 countsByYear W20630434132021 @default.
• W2063043413 crossrefType "proceedings-article" @default.
• W2063043413 hasAuthorship W2063043413A5001628885 @default.
• W2063043413 hasAuthorship W2063043413A5081519201 @default.
• W2063043413 hasAuthorship W2063043413A5083676860 @default.
• W2063043413 hasConcept C118615104 @default.
• W2063043413 hasConcept C120665830 @default.
• W2063043413 hasConcept C121332964 @default.
• W2063043413 hasConcept C135790938 @default.
• W2063043413 hasConcept C136119220 @default.
• W2063043413 hasConcept C142156749 @default.
• W2063043413 hasConcept C142362112 @default.
• W2063043413 hasConcept C153349607 @default.
• W2063043413 hasConcept C199343813 @default.
• W2063043413 hasConcept C202444582 @default.
• W2063043413 hasConcept C2777686260 @default.
• W2063043413 hasConcept C2778113609 @default.
• W2063043413 hasConcept C33923547 @default.
• W2063043413 hasConcept C41008148 @default.
• W2063043413 hasConcept C55128367 @default.
• W2063043413 hasConcept C558565934 @default.
• W2063043413 hasConcept C61237538 @default.
• W2063043413 hasConcept C62073222 @default.
• W2063043413 hasConcept C71924100 @default.
• W2063043413 hasConcept C73301696 @default.
• W2063043413 hasConcept C77736955 @default.
• W2063043413 hasConcept C85343465 @default.
• W2063043413 hasConceptScore W2063043413C118615104 @default.
• W2063043413 hasConceptScore W2063043413C120665830 @default.
• W2063043413 hasConceptScore W2063043413C121332964 @default.
• W2063043413 hasConceptScore W2063043413C135790938 @default.
• W2063043413 hasConceptScore W2063043413C136119220 @default.
• W2063043413 hasConceptScore W2063043413C142156749 @default.
• W2063043413 hasConceptScore W2063043413C142362112 @default.
• W2063043413 hasConceptScore W2063043413C153349607 @default.
• W2063043413 hasConceptScore W2063043413C199343813 @default.
• W2063043413 hasConceptScore W2063043413C202444582 @default.
• W2063043413 hasConceptScore W2063043413C2777686260 @default.
• W2063043413 hasConceptScore W2063043413C2778113609 @default.
• W2063043413 hasConceptScore W2063043413C33923547 @default.
• W2063043413 hasConceptScore W2063043413C41008148 @default.
• W2063043413 hasConceptScore W2063043413C55128367 @default.
• W2063043413 hasConceptScore W2063043413C558565934 @default.
• W2063043413 hasConceptScore W2063043413C61237538 @default.
• W2063043413 hasConceptScore W2063043413C62073222 @default.
• W2063043413 hasConceptScore W2063043413C71924100 @default.
• W2063043413 hasConceptScore W2063043413C73301696 @default.
• W2063043413 hasConceptScore W2063043413C77736955 @default.
• W2063043413 hasConceptScore W2063043413C85343465 @default.
• W2063043413 hasLocation W20630434131 @default.
• W2063043413 hasOpenAccess W2063043413 @default.
• W2063043413 hasPrimaryLocation W20630434131 @default.
• W2063043413 hasRelatedWork W1509497033 @default.
• W2063043413 hasRelatedWork W1534718845 @default.
• W2063043413 hasRelatedWork W1556311577 @default.
• W2063043413 hasRelatedWork W1558222109 @default.
• W2063043413 hasRelatedWork W1811725859 @default.
• W2063043413 hasRelatedWork W1973520397 @default.
• W2063043413 hasRelatedWork W2087320563 @default.
• W2063043413 hasRelatedWork W2102625227 @default.
• W2063043413 hasRelatedWork W2288075471 @default.
• W2063043413 hasRelatedWork W2337004052 @default.
• W2063043413 hasRelatedWork W2754782259 @default.

• next