Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566576475> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W1566576475 endingPage "209" @default.
- W1566576475 startingPage "197" @default.
- W1566576475 abstract "We consider several different definitions of type assignment with positive recursive types, from the point of view of their typing ability. We discuss the relationships between these systems. In particular, we show that the class of typable pure lambda terms remains the same for different type disciplines involving positive type fixpoints, and that type reconstruction is decidable." @default.
- W1566576475 created "2016-06-24" @default.
- W1566576475 creator A5081098905 @default.
- W1566576475 date "1996-01-01" @default.
- W1566576475 modified "2023-09-25" @default.
- W1566576475 title "Positive Recursive Type Assignment" @default.
- W1566576475 cites W1479802504 @default.
- W1566576475 cites W2003295197 @default.
- W1566576475 cites W2064236106 @default.
- W1566576475 cites W2079958455 @default.
- W1566576475 cites W2769900404 @default.
- W1566576475 cites W31746626 @default.
- W1566576475 doi "https://doi.org/10.3233/fi-1996-281213" @default.
- W1566576475 hasPublicationYear "1996" @default.
- W1566576475 type Work @default.
- W1566576475 sameAs 1566576475 @default.
- W1566576475 citedByCount "3" @default.
- W1566576475 crossrefType "journal-article" @default.
- W1566576475 hasAuthorship W1566576475A5081098905 @default.
- W1566576475 hasBestOaLocation W15665764751 @default.
- W1566576475 hasConcept C18903297 @default.
- W1566576475 hasConcept C2777299769 @default.
- W1566576475 hasConcept C33923547 @default.
- W1566576475 hasConcept C41008148 @default.
- W1566576475 hasConcept C86803240 @default.
- W1566576475 hasConceptScore W1566576475C18903297 @default.
- W1566576475 hasConceptScore W1566576475C2777299769 @default.
- W1566576475 hasConceptScore W1566576475C33923547 @default.
- W1566576475 hasConceptScore W1566576475C41008148 @default.
- W1566576475 hasConceptScore W1566576475C86803240 @default.
- W1566576475 hasIssue "1,2" @default.
- W1566576475 hasLocation W15665764751 @default.
- W1566576475 hasOpenAccess W1566576475 @default.
- W1566576475 hasPrimaryLocation W15665764751 @default.
- W1566576475 hasRelatedWork W2008607650 @default.
- W1566576475 hasRelatedWork W2090558690 @default.
- W1566576475 hasRelatedWork W2105880240 @default.
- W1566576475 hasRelatedWork W2123357356 @default.
- W1566576475 hasRelatedWork W2349865494 @default.
- W1566576475 hasRelatedWork W2372553222 @default.
- W1566576475 hasRelatedWork W2592326642 @default.
- W1566576475 hasRelatedWork W3101673024 @default.
- W1566576475 hasRelatedWork W3157195516 @default.
- W1566576475 hasRelatedWork W3157620392 @default.
- W1566576475 hasVolume "28" @default.
- W1566576475 isParatext "false" @default.
- W1566576475 isRetracted "false" @default.
- W1566576475 magId "1566576475" @default.
- W1566576475 workType "article" @default.