Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172192397> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2172192397 endingPage "152" @default.
- W2172192397 startingPage "133" @default.
- W2172192397 abstract "Light Affine Lambda Calculus is a term calculus for polynomial time computation ([K. Terui. Light affine lambda calculus and polytime strong normalization. In Proceedings of LICS'01, pages 209–220, 2001]). Some of the terms of Light Affine Lambda Calculus must however be regarded as errors. Intuitionistic Light Affine Logic (ILAL) types only terms without errors, but not all of them. We introduce two type assignment systems with intersection types : in the first one, typable pseudo-terms are exactly the terms without errors ; in the second one, they are exactly those that reduce to normal terms without errors." @default.
- W2172192397 created "2016-06-24" @default.
- W2172192397 creator A5054692434 @default.
- W2172192397 date "2005-07-01" @default.
- W2172192397 modified "2023-09-27" @default.
- W2172192397 title "Intersection Types for Light Affine Lambda Calculus" @default.
- W2172192397 cites W1919077273 @default.
- W2172192397 cites W1969548989 @default.
- W2172192397 cites W2057183321 @default.
- W2172192397 cites W2085670481 @default.
- W2172192397 cites W2146119967 @default.
- W2172192397 cites W2149906577 @default.
- W2172192397 cites W2159254191 @default.
- W2172192397 cites W2161680318 @default.
- W2172192397 cites W2911865844 @default.
- W2172192397 doi "https://doi.org/10.1016/j.entcs.2005.06.011" @default.
- W2172192397 hasPublicationYear "2005" @default.
- W2172192397 type Work @default.
- W2172192397 sameAs 2172192397 @default.
- W2172192397 citedByCount "5" @default.
- W2172192397 countsByYear W21721923972013 @default.
- W2172192397 countsByYear W21721923972015 @default.
- W2172192397 countsByYear W21721923972022 @default.
- W2172192397 crossrefType "journal-article" @default.
- W2172192397 hasAuthorship W2172192397A5054692434 @default.
- W2172192397 hasBestOaLocation W21721923971 @default.
- W2172192397 hasConcept C118615104 @default.
- W2172192397 hasConcept C120665830 @default.
- W2172192397 hasConcept C121332964 @default.
- W2172192397 hasConcept C127413603 @default.
- W2172192397 hasConcept C135790938 @default.
- W2172192397 hasConcept C136119220 @default.
- W2172192397 hasConcept C136886441 @default.
- W2172192397 hasConcept C142156749 @default.
- W2172192397 hasConcept C144024400 @default.
- W2172192397 hasConcept C146978453 @default.
- W2172192397 hasConcept C19165224 @default.
- W2172192397 hasConcept C199343813 @default.
- W2172192397 hasConcept C202444582 @default.
- W2172192397 hasConcept C20528804 @default.
- W2172192397 hasConcept C2777686260 @default.
- W2172192397 hasConcept C2778113609 @default.
- W2172192397 hasConcept C33923547 @default.
- W2172192397 hasConcept C55128367 @default.
- W2172192397 hasConcept C61237538 @default.
- W2172192397 hasConcept C62073222 @default.
- W2172192397 hasConcept C64543145 @default.
- W2172192397 hasConcept C71924100 @default.
- W2172192397 hasConcept C77736955 @default.
- W2172192397 hasConcept C92757383 @default.
- W2172192397 hasConceptScore W2172192397C118615104 @default.
- W2172192397 hasConceptScore W2172192397C120665830 @default.
- W2172192397 hasConceptScore W2172192397C121332964 @default.
- W2172192397 hasConceptScore W2172192397C127413603 @default.
- W2172192397 hasConceptScore W2172192397C135790938 @default.
- W2172192397 hasConceptScore W2172192397C136119220 @default.
- W2172192397 hasConceptScore W2172192397C136886441 @default.
- W2172192397 hasConceptScore W2172192397C142156749 @default.
- W2172192397 hasConceptScore W2172192397C144024400 @default.
- W2172192397 hasConceptScore W2172192397C146978453 @default.
- W2172192397 hasConceptScore W2172192397C19165224 @default.
- W2172192397 hasConceptScore W2172192397C199343813 @default.
- W2172192397 hasConceptScore W2172192397C202444582 @default.
- W2172192397 hasConceptScore W2172192397C20528804 @default.
- W2172192397 hasConceptScore W2172192397C2777686260 @default.
- W2172192397 hasConceptScore W2172192397C2778113609 @default.
- W2172192397 hasConceptScore W2172192397C33923547 @default.
- W2172192397 hasConceptScore W2172192397C55128367 @default.
- W2172192397 hasConceptScore W2172192397C61237538 @default.
- W2172192397 hasConceptScore W2172192397C62073222 @default.
- W2172192397 hasConceptScore W2172192397C64543145 @default.
- W2172192397 hasConceptScore W2172192397C71924100 @default.
- W2172192397 hasConceptScore W2172192397C77736955 @default.
- W2172192397 hasConceptScore W2172192397C92757383 @default.
- W2172192397 hasLocation W21721923971 @default.
- W2172192397 hasOpenAccess W2172192397 @default.
- W2172192397 hasPrimaryLocation W21721923971 @default.
- W2172192397 hasRelatedWork W114844303 @default.
- W2172192397 hasRelatedWork W1595139175 @default.
- W2172192397 hasRelatedWork W1603995370 @default.
- W2172192397 hasRelatedWork W1633106243 @default.
- W2172192397 hasRelatedWork W2276378996 @default.
- W2172192397 hasRelatedWork W2615070270 @default.
- W2172192397 hasRelatedWork W32986836 @default.
- W2172192397 hasRelatedWork W4230977852 @default.
- W2172192397 hasRelatedWork W4297858128 @default.
- W2172192397 hasRelatedWork W62459810 @default.
- W2172192397 hasVolume "136" @default.
- W2172192397 isParatext "false" @default.
- W2172192397 isRetracted "false" @default.
- W2172192397 magId "2172192397" @default.
- W2172192397 workType "article" @default.