FRINK Linked Data Fragments server

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

• W2123068072 endingPage "60" @default.
• W2123068072 startingPage "41" @default.
• W2123068072 abstract "We define two type assignment systems for first-order rewriting extended with application, λ-abstraction, and β-reduction, using a combination of (ω-free) intersection types and second-order polymorphic types. The first system is the general one, for which we prove subject reduction, and strong normalisation of typeable terms. The second is a decidable subsystem of the first, by restricting to Rank 2 (intersection and quantified) types. For this system we define, using an extended notion of unification, a notion of principal typing which is more general than ML’s principal type property, since also the types for the free variables of terms are inferred.Partially supported by MURST COFIN’99 TOSCA Project.KeywordsIntersection TypeFree VariableFunction SymbolType InferencePrincipal TypeThese 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.
• W2123068072 created "2016-06-24" @default.
• W2123068072 creator A5035238877 @default.
• W2123068072 creator A5040202788 @default.
• W2123068072 creator A5072769917 @default.
• W2123068072 date "2000-01-01" @default.
• W2123068072 modified "2023-10-17" @default.
• W2123068072 title "Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-Rule" @default.
• W2123068072 cites W1493960433 @default.
• W2123068072 cites W1513590676 @default.
• W2123068072 cites W1547449409 @default.
• W2123068072 cites W1664039672 @default.
• W2123068072 cites W1964383531 @default.
• W2123068072 cites W1970227944 @default.
• W2123068072 cites W1976955947 @default.
• W2123068072 cites W1976958863 @default.
• W2123068072 cites W1980550545 @default.
• W2123068072 cites W1999683854 @default.
• W2123068072 cites W2016076634 @default.
• W2123068072 cites W2054969282 @default.
• W2123068072 cites W2072881702 @default.
• W2123068072 cites W2074802267 @default.
• W2123068072 cites W2091036953 @default.
• W2123068072 cites W2091711296 @default.
• W2123068072 cites W2100738443 @default.
• W2123068072 cites W2158244462 @default.
• W2123068072 cites W2165431910 @default.
• W2123068072 cites W2167904762 @default.
• W2123068072 cites W2323378191 @default.
• W2123068072 cites W3022794709 @default.
• W2123068072 cites W4214650368 @default.
• W2123068072 cites W4234327515 @default.
• W2123068072 doi "https://doi.org/10.1007/3-540-44557-9_3" @default.
• W2123068072 hasPublicationYear "2000" @default.
• W2123068072 type Work @default.
• W2123068072 sameAs 2123068072 @default.
• W2123068072 citedByCount "5" @default.
• W2123068072 countsByYear W21230680722012 @default.
• W2123068072 crossrefType "book-chapter" @default.
• W2123068072 hasAuthorship W2123068072A5035238877 @default.
• W2123068072 hasAuthorship W2123068072A5040202788 @default.
• W2123068072 hasAuthorship W2123068072A5072769917 @default.
• W2123068072 hasConcept C111335779 @default.
• W2123068072 hasConcept C111472728 @default.
• W2123068072 hasConcept C111919701 @default.
• W2123068072 hasConcept C114614502 @default.
• W2123068072 hasConcept C124304363 @default.
• W2123068072 hasConcept C127413603 @default.
• W2123068072 hasConcept C138885662 @default.
• W2123068072 hasConcept C144559511 @default.
• W2123068072 hasConcept C146978453 @default.
• W2123068072 hasConcept C153269930 @default.
• W2123068072 hasConcept C154690210 @default.
• W2123068072 hasConcept C164226766 @default.
• W2123068072 hasConcept C18903297 @default.
• W2123068072 hasConcept C199360897 @default.
• W2123068072 hasConcept C2524010 @default.
• W2123068072 hasConcept C2777299769 @default.
• W2123068072 hasConcept C33923547 @default.
• W2123068072 hasConcept C41008148 @default.
• W2123068072 hasConcept C64543145 @default.
• W2123068072 hasConcept C80444323 @default.
• W2123068072 hasConcept C86803240 @default.
• W2123068072 hasConcept C96146094 @default.
• W2123068072 hasConceptScore W2123068072C111335779 @default.
• W2123068072 hasConceptScore W2123068072C111472728 @default.
• W2123068072 hasConceptScore W2123068072C111919701 @default.
• W2123068072 hasConceptScore W2123068072C114614502 @default.
• W2123068072 hasConceptScore W2123068072C124304363 @default.
• W2123068072 hasConceptScore W2123068072C127413603 @default.
• W2123068072 hasConceptScore W2123068072C138885662 @default.
• W2123068072 hasConceptScore W2123068072C144559511 @default.
• W2123068072 hasConceptScore W2123068072C146978453 @default.
• W2123068072 hasConceptScore W2123068072C153269930 @default.
• W2123068072 hasConceptScore W2123068072C154690210 @default.
• W2123068072 hasConceptScore W2123068072C164226766 @default.
• W2123068072 hasConceptScore W2123068072C18903297 @default.
• W2123068072 hasConceptScore W2123068072C199360897 @default.
• W2123068072 hasConceptScore W2123068072C2524010 @default.
• W2123068072 hasConceptScore W2123068072C2777299769 @default.
• W2123068072 hasConceptScore W2123068072C33923547 @default.
• W2123068072 hasConceptScore W2123068072C41008148 @default.
• W2123068072 hasConceptScore W2123068072C64543145 @default.
• W2123068072 hasConceptScore W2123068072C80444323 @default.
• W2123068072 hasConceptScore W2123068072C86803240 @default.
• W2123068072 hasConceptScore W2123068072C96146094 @default.
• W2123068072 hasLocation W21230680721 @default.
• W2123068072 hasOpenAccess W2123068072 @default.
• W2123068072 hasPrimaryLocation W21230680721 @default.
• W2123068072 hasRelatedWork W1535594904 @default.
• W2123068072 hasRelatedWork W1593438407 @default.
• W2123068072 hasRelatedWork W1976557413 @default.
• W2123068072 hasRelatedWork W2029981683 @default.
• W2123068072 hasRelatedWork W2093204796 @default.
• W2123068072 hasRelatedWork W2123068072 @default.
• W2123068072 hasRelatedWork W2614480107 @default.
• W2123068072 hasRelatedWork W4206200208 @default.
• W2123068072 hasRelatedWork W4293774166 @default.

• next