Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569362442> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1569362442 endingPage "198" @default.
- W1569362442 startingPage "184" @default.
- W1569362442 abstract "This paper discusses decidability and existence of principal types in type assignment systems for λ-terms in which types are considered modulo an equivalence relation induced by a set of type equations. There are two interesting ways of defining such equivalence, an initial and a final one. A suitable transformation will allow to treat both in an uniform way." @default.
- W1569362442 created "2016-06-24" @default.
- W1569362442 creator A5018907550 @default.
- W1569362442 date "2001-01-01" @default.
- W1569362442 modified "2023-10-16" @default.
- W1569362442 title "Type Inference with Recursive Type Equations" @default.
- W1569362442 cites W1518395686 @default.
- W1569362442 cites W1552951486 @default.
- W1569362442 cites W2079958455 @default.
- W1569362442 cites W2166822586 @default.
- W1569362442 cites W3007982376 @default.
- W1569362442 cites W3105293377 @default.
- W1569362442 cites W31746626 @default.
- W1569362442 cites W4212983671 @default.
- W1569362442 cites W4249075482 @default.
- W1569362442 doi "https://doi.org/10.1007/3-540-45315-6_12" @default.
- W1569362442 hasPublicationYear "2001" @default.
- W1569362442 type Work @default.
- W1569362442 sameAs 1569362442 @default.
- W1569362442 citedByCount "7" @default.
- W1569362442 countsByYear W15693624422013 @default.
- W1569362442 countsByYear W15693624422015 @default.
- W1569362442 crossrefType "book-chapter" @default.
- W1569362442 hasAuthorship W1569362442A5018907550 @default.
- W1569362442 hasBestOaLocation W15693624421 @default.
- W1569362442 hasConcept C11413529 @default.
- W1569362442 hasConcept C154945302 @default.
- W1569362442 hasConcept C18903297 @default.
- W1569362442 hasConcept C198370458 @default.
- W1569362442 hasConcept C199343813 @default.
- W1569362442 hasConcept C2776214188 @default.
- W1569362442 hasConcept C2777299769 @default.
- W1569362442 hasConcept C2777686260 @default.
- W1569362442 hasConcept C28826006 @default.
- W1569362442 hasConcept C33923547 @default.
- W1569362442 hasConcept C41008148 @default.
- W1569362442 hasConcept C71924100 @default.
- W1569362442 hasConcept C86803240 @default.
- W1569362442 hasConceptScore W1569362442C11413529 @default.
- W1569362442 hasConceptScore W1569362442C154945302 @default.
- W1569362442 hasConceptScore W1569362442C18903297 @default.
- W1569362442 hasConceptScore W1569362442C198370458 @default.
- W1569362442 hasConceptScore W1569362442C199343813 @default.
- W1569362442 hasConceptScore W1569362442C2776214188 @default.
- W1569362442 hasConceptScore W1569362442C2777299769 @default.
- W1569362442 hasConceptScore W1569362442C2777686260 @default.
- W1569362442 hasConceptScore W1569362442C28826006 @default.
- W1569362442 hasConceptScore W1569362442C33923547 @default.
- W1569362442 hasConceptScore W1569362442C41008148 @default.
- W1569362442 hasConceptScore W1569362442C71924100 @default.
- W1569362442 hasConceptScore W1569362442C86803240 @default.
- W1569362442 hasLocation W15693624421 @default.
- W1569362442 hasOpenAccess W1569362442 @default.
- W1569362442 hasPrimaryLocation W15693624421 @default.
- W1569362442 hasRelatedWork W1550049051 @default.
- W1569362442 hasRelatedWork W1569589535 @default.
- W1569362442 hasRelatedWork W1599788127 @default.
- W1569362442 hasRelatedWork W1703087989 @default.
- W1569362442 hasRelatedWork W1941412300 @default.
- W1569362442 hasRelatedWork W1977621403 @default.
- W1569362442 hasRelatedWork W2154390633 @default.
- W1569362442 hasRelatedWork W2954382483 @default.
- W1569362442 hasRelatedWork W3006398337 @default.
- W1569362442 hasRelatedWork W4242791220 @default.
- W1569362442 isParatext "false" @default.
- W1569362442 isRetracted "false" @default.
- W1569362442 magId "1569362442" @default.
- W1569362442 workType "book-chapter" @default.