Matches in SemOpenAlex for { <https://semopenalex.org/work/W82985438> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W82985438 abstract "In this paper we investigate the type inference problem for a large class of type assignment systems for the λ-calculus. This is the problem of determining if a term has a type in a given system. We discuss, in particular, a collection of type assignment systems which correspond to the typed systems of Barendregt’s “cube”. Type dependencies being shown redundant, we focus on the strongest of all, Fω, the type assignment version of the system Fω of Girard. In order to manipulate uniformly type inferences we give a syntax directed presentation of Fω and introduce the notions of scheme and of principal type scheme. Making essential use of them, we succeed in reducing the type inference problem for Fω to a restriction of the higher order semi-unification problem and in showing that the conditional type inference problem for Fω is undecidable. Throughout the paper we call attention to open problems and formulate some conjectures." @default.
- W82985438 created "2016-06-24" @default.
- W82985438 creator A5000680961 @default.
- W82985438 creator A5008380216 @default.
- W82985438 creator A5057279396 @default.
- W82985438 date "1993-07-01" @default.
- W82985438 modified "2023-09-24" @default.
- W82985438 title "Type Inference: Some Results, Some Problems1" @default.
- W82985438 doi "https://doi.org/10.3233/fi-1993-191-205" @default.
- W82985438 hasPublicationYear "1993" @default.
- W82985438 type Work @default.
- W82985438 sameAs 82985438 @default.
- W82985438 citedByCount "13" @default.
- W82985438 countsByYear W829854382012 @default.
- W82985438 countsByYear W829854382013 @default.
- W82985438 crossrefType "journal-article" @default.
- W82985438 hasAuthorship W82985438A5000680961 @default.
- W82985438 hasAuthorship W82985438A5008380216 @default.
- W82985438 hasAuthorship W82985438A5057279396 @default.
- W82985438 hasConcept C154945302 @default.
- W82985438 hasConcept C2776214188 @default.
- W82985438 hasConcept C41008148 @default.
- W82985438 hasConceptScore W82985438C154945302 @default.
- W82985438 hasConceptScore W82985438C2776214188 @default.
- W82985438 hasConceptScore W82985438C41008148 @default.
- W82985438 hasLocation W829854381 @default.
- W82985438 hasOpenAccess W82985438 @default.
- W82985438 hasPrimaryLocation W829854381 @default.
- W82985438 hasRelatedWork W1507510709 @default.
- W82985438 hasRelatedWork W1548645459 @default.
- W82985438 hasRelatedWork W1595372275 @default.
- W82985438 hasRelatedWork W1970227944 @default.
- W82985438 hasRelatedWork W2044758536 @default.
- W82985438 hasRelatedWork W2054969282 @default.
- W82985438 hasRelatedWork W2056253254 @default.
- W82985438 hasRelatedWork W2149906577 @default.
- W82985438 hasRelatedWork W2154273644 @default.
- W82985438 hasRelatedWork W2398461955 @default.
- W82985438 hasRelatedWork W248326974 @default.
- W82985438 hasRelatedWork W2484833075 @default.
- W82985438 hasRelatedWork W2501472105 @default.
- W82985438 hasRelatedWork W2516075257 @default.
- W82985438 hasRelatedWork W2529926364 @default.
- W82985438 hasRelatedWork W2623137441 @default.
- W82985438 hasRelatedWork W2911337295 @default.
- W82985438 hasRelatedWork W2949612432 @default.
- W82985438 hasRelatedWork W2983212144 @default.
- W82985438 hasRelatedWork W3024847434 @default.
- W82985438 isParatext "false" @default.
- W82985438 isRetracted "false" @default.
- W82985438 magId "82985438" @default.
- W82985438 workType "article" @default.