Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950202387> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2950202387 abstract "Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affine variant of this logic. We prove that the (untyped) terms of this calculus are reducible in polynomial time. We then extend the type system of Soft logic with recursive types. This allows us to consider non-standard types for representing lists. Using these datatypes we examine the concrete expressivity of Soft lambda-calculus with the example of the insertion sort algorithm." @default.
- W2950202387 created "2019-06-27" @default.
- W2950202387 creator A5086169215 @default.
- W2950202387 creator A5090071343 @default.
- W2950202387 date "2003-12-07" @default.
- W2950202387 modified "2023-10-18" @default.
- W2950202387 title "Soft lambda-calculus: a language for polynomial time computation" @default.
- W2950202387 hasPublicationYear "2003" @default.
- W2950202387 type Work @default.
- W2950202387 sameAs 2950202387 @default.
- W2950202387 citedByCount "1" @default.
- W2950202387 countsByYear W29502023872013 @default.
- W2950202387 crossrefType "posted-content" @default.
- W2950202387 hasAuthorship W2950202387A5086169215 @default.
- W2950202387 hasAuthorship W2950202387A5090071343 @default.
- W2950202387 hasConcept C118615104 @default.
- W2950202387 hasConcept C134026603 @default.
- W2950202387 hasConcept C135790938 @default.
- W2950202387 hasConcept C136119220 @default.
- W2950202387 hasConcept C142156749 @default.
- W2950202387 hasConcept C199343813 @default.
- W2950202387 hasConcept C202444582 @default.
- W2950202387 hasConcept C20528804 @default.
- W2950202387 hasConcept C2777686260 @default.
- W2950202387 hasConcept C28077239 @default.
- W2950202387 hasConcept C311688 @default.
- W2950202387 hasConcept C33923547 @default.
- W2950202387 hasConcept C41008148 @default.
- W2950202387 hasConcept C55128367 @default.
- W2950202387 hasConcept C61237538 @default.
- W2950202387 hasConcept C62073222 @default.
- W2950202387 hasConcept C71924100 @default.
- W2950202387 hasConcept C77736955 @default.
- W2950202387 hasConcept C85343465 @default.
- W2950202387 hasConceptScore W2950202387C118615104 @default.
- W2950202387 hasConceptScore W2950202387C134026603 @default.
- W2950202387 hasConceptScore W2950202387C135790938 @default.
- W2950202387 hasConceptScore W2950202387C136119220 @default.
- W2950202387 hasConceptScore W2950202387C142156749 @default.
- W2950202387 hasConceptScore W2950202387C199343813 @default.
- W2950202387 hasConceptScore W2950202387C202444582 @default.
- W2950202387 hasConceptScore W2950202387C20528804 @default.
- W2950202387 hasConceptScore W2950202387C2777686260 @default.
- W2950202387 hasConceptScore W2950202387C28077239 @default.
- W2950202387 hasConceptScore W2950202387C311688 @default.
- W2950202387 hasConceptScore W2950202387C33923547 @default.
- W2950202387 hasConceptScore W2950202387C41008148 @default.
- W2950202387 hasConceptScore W2950202387C55128367 @default.
- W2950202387 hasConceptScore W2950202387C61237538 @default.
- W2950202387 hasConceptScore W2950202387C62073222 @default.
- W2950202387 hasConceptScore W2950202387C71924100 @default.
- W2950202387 hasConceptScore W2950202387C77736955 @default.
- W2950202387 hasConceptScore W2950202387C85343465 @default.
- W2950202387 hasLocation W29502023871 @default.
- W2950202387 hasOpenAccess W2950202387 @default.
- W2950202387 hasPrimaryLocation W29502023871 @default.
- W2950202387 hasRelatedWork W1481783499 @default.
- W2950202387 hasRelatedWork W1493752083 @default.
- W2950202387 hasRelatedWork W1559704064 @default.
- W2950202387 hasRelatedWork W1581033375 @default.
- W2950202387 hasRelatedWork W1640898018 @default.
- W2950202387 hasRelatedWork W1676498955 @default.
- W2950202387 hasRelatedWork W2040290487 @default.
- W2950202387 hasRelatedWork W2055962247 @default.
- W2950202387 hasRelatedWork W207336988 @default.
- W2950202387 hasRelatedWork W2084539672 @default.
- W2950202387 hasRelatedWork W2247861104 @default.
- W2950202387 hasRelatedWork W2295950492 @default.
- W2950202387 hasRelatedWork W2298806063 @default.
- W2950202387 hasRelatedWork W2754782259 @default.
- W2950202387 hasRelatedWork W2957545921 @default.
- W2950202387 hasRelatedWork W2963424697 @default.
- W2950202387 hasRelatedWork W2967403060 @default.
- W2950202387 hasRelatedWork W2997902268 @default.
- W2950202387 hasRelatedWork W3006681913 @default.
- W2950202387 hasRelatedWork W3123171335 @default.
- W2950202387 isParatext "false" @default.
- W2950202387 isRetracted "false" @default.
- W2950202387 magId "2950202387" @default.
- W2950202387 workType "article" @default.