FRINK Linked Data Fragments server

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

• W2744716545 endingPage "12" @default.
• W2744716545 startingPage "1" @default.
• W2744716545 abstract "We provide a type-theoretical characterization of weakly-normalizing terms in an infinitary lambda-calculus. We adapt for this purpose the standard quantitative (with non-idempotent intersections) type assignment system of the lambda-calculus to our infinite calculus.Our work provides a positive answer to a semi-open question known as Klop's Problem, namely, finding out if there is a type system characterizing the set of hereditary head-normalizing (HHN) lambda-terms. Tatsuta showed in 2007 that HHN could not be characterized by a finite type system. We prove that an infinitary type system endowed with a validity condition called approximability can achieve it.As it turns out, approximability cannot be expressed when intersection is represented by means of multisets. Multisets are then replaced coinductively by sequences of types indexed by integers, thus defining a type system called System S." @default.
• W2744716545 created "2017-08-17" @default.
• W2744716545 creator A5076180903 @default.
• W2744716545 date "2017-06-20" @default.
• W2744716545 modified "2023-09-26" @default.
• W2744716545 title "Infinitary intersection types as sequences: a new answer to Klop's problem" @default.
• W2744716545 cites W1527432636 @default.
• W2744716545 cites W1554278997 @default.
• W2744716545 cites W161800829 @default.
• W2744716545 cites W1837997878 @default.
• W2744716545 cites W1968168625 @default.
• W2744716545 cites W1993332561 @default.
• W2744716545 cites W20313843 @default.
• W2744716545 cites W2084539672 @default.
• W2744716545 cites W2085670481 @default.
• W2744716545 cites W2121874004 @default.
• W2744716545 cites W2158244462 @default.
• W2744716545 cites W2210507148 @default.
• W2744716545 cites W2262096404 @default.
• W2744716545 cites W2464954612 @default.
• W2744716545 doi "https://doi.org/10.5555/3329995.3330038" @default.
• W2744716545 hasPublicationYear "2017" @default.
• W2744716545 type Work @default.
• W2744716545 sameAs 2744716545 @default.
• W2744716545 citedByCount "4" @default.
• W2744716545 countsByYear W27447165452016 @default.
• W2744716545 countsByYear W27447165452017 @default.
• W2744716545 countsByYear W27447165452020 @default.
• W2744716545 countsByYear W27447165452021 @default.
• W2744716545 crossrefType "proceedings-article" @default.
• W2744716545 hasAuthorship W2744716545A5076180903 @default.
• W2744716545 hasConcept C114614502 @default.
• W2744716545 hasConcept C118615104 @default.
• W2744716545 hasConcept C120665830 @default.
• W2744716545 hasConcept C121332964 @default.
• W2744716545 hasConcept C127413603 @default.
• W2744716545 hasConcept C135790938 @default.
• W2744716545 hasConcept C136119220 @default.
• W2744716545 hasConcept C142156749 @default.
• W2744716545 hasConcept C146978453 @default.
• W2744716545 hasConcept C172252984 @default.
• W2744716545 hasConcept C177264268 @default.
• W2744716545 hasConcept C18903297 @default.
• W2744716545 hasConcept C199343813 @default.
• W2744716545 hasConcept C199360897 @default.
• W2744716545 hasConcept C202444582 @default.
• W2744716545 hasConcept C2777299769 @default.
• W2744716545 hasConcept C2777686260 @default.
• W2744716545 hasConcept C2778113609 @default.
• W2744716545 hasConcept C33923547 @default.
• W2744716545 hasConcept C41008148 @default.
• W2744716545 hasConcept C55128367 @default.
• W2744716545 hasConcept C61237538 @default.
• W2744716545 hasConcept C64543145 @default.
• W2744716545 hasConcept C71924100 @default.
• W2744716545 hasConcept C86803240 @default.
• W2744716545 hasConceptScore W2744716545C114614502 @default.
• W2744716545 hasConceptScore W2744716545C118615104 @default.
• W2744716545 hasConceptScore W2744716545C120665830 @default.
• W2744716545 hasConceptScore W2744716545C121332964 @default.
• W2744716545 hasConceptScore W2744716545C127413603 @default.
• W2744716545 hasConceptScore W2744716545C135790938 @default.
• W2744716545 hasConceptScore W2744716545C136119220 @default.
• W2744716545 hasConceptScore W2744716545C142156749 @default.
• W2744716545 hasConceptScore W2744716545C146978453 @default.
• W2744716545 hasConceptScore W2744716545C172252984 @default.
• W2744716545 hasConceptScore W2744716545C177264268 @default.
• W2744716545 hasConceptScore W2744716545C18903297 @default.
• W2744716545 hasConceptScore W2744716545C199343813 @default.
• W2744716545 hasConceptScore W2744716545C199360897 @default.
• W2744716545 hasConceptScore W2744716545C202444582 @default.
• W2744716545 hasConceptScore W2744716545C2777299769 @default.
• W2744716545 hasConceptScore W2744716545C2777686260 @default.
• W2744716545 hasConceptScore W2744716545C2778113609 @default.
• W2744716545 hasConceptScore W2744716545C33923547 @default.
• W2744716545 hasConceptScore W2744716545C41008148 @default.
• W2744716545 hasConceptScore W2744716545C55128367 @default.
• W2744716545 hasConceptScore W2744716545C61237538 @default.
• W2744716545 hasConceptScore W2744716545C64543145 @default.
• W2744716545 hasConceptScore W2744716545C71924100 @default.
• W2744716545 hasConceptScore W2744716545C86803240 @default.
• W2744716545 hasLocation W27447165451 @default.
• W2744716545 hasOpenAccess W2744716545 @default.
• W2744716545 hasPrimaryLocation W27447165451 @default.
• W2744716545 hasRelatedWork W1503390214 @default.
• W2744716545 hasRelatedWork W1599256968 @default.
• W2744716545 hasRelatedWork W1603304375 @default.
• W2744716545 hasRelatedWork W2065381138 @default.
• W2744716545 hasRelatedWork W2117639686 @default.
• W2744716545 hasRelatedWork W2203152860 @default.
• W2744716545 hasRelatedWork W2463458990 @default.
• W2744716545 hasRelatedWork W2736955251 @default.
• W2744716545 hasRelatedWork W2750256046 @default.
• W2744716545 hasRelatedWork W2798480443 @default.
• W2744716545 hasRelatedWork W2882677335 @default.
• W2744716545 hasRelatedWork W2911874855 @default.
• W2744716545 hasRelatedWork W2962833857 @default.
• W2744716545 hasRelatedWork W2963404536 @default.

• next