Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161255149> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2161255149 abstract "types defined in terms of operations with axioms are both more general and more precise than the types-as-sets view." @default.
- W2161255149 created "2016-06-24" @default.
- W2161255149 creator A5055979800 @default.
- W2161255149 date "1993-01-01" @default.
- W2161255149 modified "2023-09-27" @default.
- W2161255149 title "Introduction to Object-Oriented Type Theory" @default.
- W2161255149 cites W1987454317 @default.
- W2161255149 cites W1992520783 @default.
- W2161255149 cites W2021686672 @default.
- W2161255149 cites W2027657506 @default.
- W2161255149 cites W2041042883 @default.
- W2161255149 cites W2093541252 @default.
- W2161255149 cites W2151402235 @default.
- W2161255149 cites W2160064363 @default.
- W2161255149 cites W2166822586 @default.
- W2161255149 cites W2791903277 @default.
- W2161255149 hasPublicationYear "1993" @default.
- W2161255149 type Work @default.
- W2161255149 sameAs 2161255149 @default.
- W2161255149 citedByCount "1" @default.
- W2161255149 crossrefType "journal-article" @default.
- W2161255149 hasAuthorship W2161255149A5055979800 @default.
- W2161255149 hasConcept C127313418 @default.
- W2161255149 hasConcept C151730666 @default.
- W2161255149 hasConcept C154945302 @default.
- W2161255149 hasConcept C2777299769 @default.
- W2161255149 hasConcept C2781238097 @default.
- W2161255149 hasConcept C41008148 @default.
- W2161255149 hasConceptScore W2161255149C127313418 @default.
- W2161255149 hasConceptScore W2161255149C151730666 @default.
- W2161255149 hasConceptScore W2161255149C154945302 @default.
- W2161255149 hasConceptScore W2161255149C2777299769 @default.
- W2161255149 hasConceptScore W2161255149C2781238097 @default.
- W2161255149 hasConceptScore W2161255149C41008148 @default.
- W2161255149 hasLocation W21612551491 @default.
- W2161255149 hasOpenAccess W2161255149 @default.
- W2161255149 hasPrimaryLocation W21612551491 @default.
- W2161255149 hasRelatedWork W1485522244 @default.
- W2161255149 hasRelatedWork W1519181820 @default.
- W2161255149 hasRelatedWork W1601375130 @default.
- W2161255149 hasRelatedWork W162093743 @default.
- W2161255149 hasRelatedWork W1845270947 @default.
- W2161255149 hasRelatedWork W1996742209 @default.
- W2161255149 hasRelatedWork W2037755932 @default.
- W2161255149 hasRelatedWork W2091253243 @default.
- W2161255149 hasRelatedWork W2103094658 @default.
- W2161255149 hasRelatedWork W2141447233 @default.
- W2161255149 hasRelatedWork W2146104088 @default.
- W2161255149 hasRelatedWork W2158438052 @default.
- W2161255149 hasRelatedWork W2164269646 @default.
- W2161255149 hasRelatedWork W2170643109 @default.
- W2161255149 hasRelatedWork W2189000975 @default.
- W2161255149 hasRelatedWork W2261125004 @default.
- W2161255149 hasRelatedWork W2292428295 @default.
- W2161255149 hasRelatedWork W2419291759 @default.
- W2161255149 hasRelatedWork W2533653484 @default.
- W2161255149 hasRelatedWork W2597112604 @default.
- W2161255149 isParatext "false" @default.
- W2161255149 isRetracted "false" @default.
- W2161255149 magId "2161255149" @default.
- W2161255149 workType "article" @default.