Matches in SemOpenAlex for { <https://semopenalex.org/work/W1621051805> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1621051805 endingPage "200" @default.
- W1621051805 startingPage "189" @default.
- W1621051805 abstract "We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Elementary Affine Logic, LFPL (a language for polytime computation close to realistic functional programming introduced by one of us), Light Affine Logic and Soft Affine Logic. The proofs are based on a common semantical framework which is merely instantiated in four different ways. The framework consists of an innovative modification of realizability which allows us to use resource-bounded computations as realisers as opposed to including all Turing computable functions as is usually the case in realizability constructions. For example, all realisers in the model for LFPL are polynomially bounded computations whence soundness holds by construction of the model. The work then lies in being able to interpret all the required constructs in the model. While being the first entirely semantical proof of polytime soundness for light logics, our proof also provides a notable simplification of the original already semantical proof of polytime soundness for LFPL. A new result made possible by the semantic framework is the addition of polymorphism and a modality to LFPL thus allowing for an internal definition of inductive datatypes.KeywordsTuring MachineLength SpaceLinear LogicSemantic FrameworkRepresentable FunctionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1621051805 created "2016-06-24" @default.
- W1621051805 creator A5075724502 @default.
- W1621051805 creator A5084450516 @default.
- W1621051805 date "2005-01-01" @default.
- W1621051805 modified "2023-10-18" @default.
- W1621051805 title "Quantitative Models and Implicit Complexity" @default.
- W1621051805 cites W165928890 @default.
- W1621051805 cites W1856607635 @default.
- W1621051805 cites W1969548989 @default.
- W1621051805 cites W1970954854 @default.
- W1621051805 cites W1979524717 @default.
- W1621051805 cites W2005192022 @default.
- W1621051805 cites W2057183321 @default.
- W1621051805 cites W2062740098 @default.
- W1621051805 cites W2075380453 @default.
- W1621051805 cites W2133538984 @default.
- W1621051805 cites W2170698790 @default.
- W1621051805 doi "https://doi.org/10.1007/11590156_15" @default.
- W1621051805 hasPublicationYear "2005" @default.
- W1621051805 type Work @default.
- W1621051805 sameAs 1621051805 @default.
- W1621051805 citedByCount "14" @default.
- W1621051805 countsByYear W16210518052021 @default.
- W1621051805 crossrefType "book-chapter" @default.
- W1621051805 hasAuthorship W1621051805A5075724502 @default.
- W1621051805 hasAuthorship W1621051805A5084450516 @default.
- W1621051805 hasBestOaLocation W16210518052 @default.
- W1621051805 hasConcept C108710211 @default.
- W1621051805 hasConcept C11413529 @default.
- W1621051805 hasConcept C134306372 @default.
- W1621051805 hasConcept C136119220 @default.
- W1621051805 hasConcept C18903297 @default.
- W1621051805 hasConcept C199360897 @default.
- W1621051805 hasConcept C202444582 @default.
- W1621051805 hasConcept C2318724 @default.
- W1621051805 hasConcept C2524010 @default.
- W1621051805 hasConcept C2776378722 @default.
- W1621051805 hasConcept C2777299769 @default.
- W1621051805 hasConcept C28077239 @default.
- W1621051805 hasConcept C29248071 @default.
- W1621051805 hasConcept C33923547 @default.
- W1621051805 hasConcept C34388435 @default.
- W1621051805 hasConcept C39920170 @default.
- W1621051805 hasConcept C41008148 @default.
- W1621051805 hasConcept C45374587 @default.
- W1621051805 hasConcept C54271186 @default.
- W1621051805 hasConcept C80444323 @default.
- W1621051805 hasConcept C86803240 @default.
- W1621051805 hasConcept C92757383 @default.
- W1621051805 hasConcept C93682546 @default.
- W1621051805 hasConceptScore W1621051805C108710211 @default.
- W1621051805 hasConceptScore W1621051805C11413529 @default.
- W1621051805 hasConceptScore W1621051805C134306372 @default.
- W1621051805 hasConceptScore W1621051805C136119220 @default.
- W1621051805 hasConceptScore W1621051805C18903297 @default.
- W1621051805 hasConceptScore W1621051805C199360897 @default.
- W1621051805 hasConceptScore W1621051805C202444582 @default.
- W1621051805 hasConceptScore W1621051805C2318724 @default.
- W1621051805 hasConceptScore W1621051805C2524010 @default.
- W1621051805 hasConceptScore W1621051805C2776378722 @default.
- W1621051805 hasConceptScore W1621051805C2777299769 @default.
- W1621051805 hasConceptScore W1621051805C28077239 @default.
- W1621051805 hasConceptScore W1621051805C29248071 @default.
- W1621051805 hasConceptScore W1621051805C33923547 @default.
- W1621051805 hasConceptScore W1621051805C34388435 @default.
- W1621051805 hasConceptScore W1621051805C39920170 @default.
- W1621051805 hasConceptScore W1621051805C41008148 @default.
- W1621051805 hasConceptScore W1621051805C45374587 @default.
- W1621051805 hasConceptScore W1621051805C54271186 @default.
- W1621051805 hasConceptScore W1621051805C80444323 @default.
- W1621051805 hasConceptScore W1621051805C86803240 @default.
- W1621051805 hasConceptScore W1621051805C92757383 @default.
- W1621051805 hasConceptScore W1621051805C93682546 @default.
- W1621051805 hasLocation W16210518051 @default.
- W1621051805 hasLocation W16210518052 @default.
- W1621051805 hasLocation W16210518053 @default.
- W1621051805 hasOpenAccess W1621051805 @default.
- W1621051805 hasPrimaryLocation W16210518051 @default.
- W1621051805 hasRelatedWork W1621051805 @default.
- W1621051805 hasRelatedWork W2032195084 @default.
- W1621051805 hasRelatedWork W2087185103 @default.
- W1621051805 hasRelatedWork W2522419648 @default.
- W1621051805 hasRelatedWork W2886737850 @default.
- W1621051805 hasRelatedWork W2950007347 @default.
- W1621051805 hasRelatedWork W2950205384 @default.
- W1621051805 hasRelatedWork W2951694949 @default.
- W1621051805 hasRelatedWork W635853265 @default.
- W1621051805 hasRelatedWork W2185509723 @default.
- W1621051805 isParatext "false" @default.
- W1621051805 isRetracted "false" @default.
- W1621051805 magId "1621051805" @default.
- W1621051805 workType "book-chapter" @default.