Matches in SemOpenAlex for { <https://semopenalex.org/work/W997137469> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W997137469 abstract "Part II is primarily concerned with second-order concepts: type quantification and the type Self. In this chapter, we start by adding second-order type quantifiers to our first-order calculi. These quantifiers are standard; they were not designed specifically with objects in mind. However, these quantifiers can be combined with recursive types to produce an interesting new construct that is recognizable as formalizing the type Self. The interaction of Self with object types is the subject of Chapter 15. Subsequent chapters concern the direct axiomatization of Self types, and their use in a programming language." @default.
- W997137469 created "2016-06-24" @default.
- W997137469 creator A5013220584 @default.
- W997137469 creator A5061767913 @default.
- W997137469 date "1996-01-01" @default.
- W997137469 modified "2023-10-03" @default.
- W997137469 title "Second-Order Calculi" @default.
- W997137469 doi "https://doi.org/10.1007/978-1-4419-8598-9_14" @default.
- W997137469 hasPublicationYear "1996" @default.
- W997137469 type Work @default.
- W997137469 sameAs 997137469 @default.
- W997137469 citedByCount "0" @default.
- W997137469 crossrefType "book-chapter" @default.
- W997137469 hasAuthorship W997137469A5013220584 @default.
- W997137469 hasAuthorship W997137469A5061767913 @default.
- W997137469 hasConcept C10138342 @default.
- W997137469 hasConcept C118615104 @default.
- W997137469 hasConcept C135790938 @default.
- W997137469 hasConcept C138890893 @default.
- W997137469 hasConcept C154945302 @default.
- W997137469 hasConcept C161191863 @default.
- W997137469 hasConcept C162324750 @default.
- W997137469 hasConcept C182306322 @default.
- W997137469 hasConcept C18903297 @default.
- W997137469 hasConcept C199360897 @default.
- W997137469 hasConcept C20528804 @default.
- W997137469 hasConcept C2777299769 @default.
- W997137469 hasConcept C2777855551 @default.
- W997137469 hasConcept C2780801425 @default.
- W997137469 hasConcept C2781238097 @default.
- W997137469 hasConcept C33923547 @default.
- W997137469 hasConcept C41008148 @default.
- W997137469 hasConcept C86803240 @default.
- W997137469 hasConcept C93682546 @default.
- W997137469 hasConceptScore W997137469C10138342 @default.
- W997137469 hasConceptScore W997137469C118615104 @default.
- W997137469 hasConceptScore W997137469C135790938 @default.
- W997137469 hasConceptScore W997137469C138890893 @default.
- W997137469 hasConceptScore W997137469C154945302 @default.
- W997137469 hasConceptScore W997137469C161191863 @default.
- W997137469 hasConceptScore W997137469C162324750 @default.
- W997137469 hasConceptScore W997137469C182306322 @default.
- W997137469 hasConceptScore W997137469C18903297 @default.
- W997137469 hasConceptScore W997137469C199360897 @default.
- W997137469 hasConceptScore W997137469C20528804 @default.
- W997137469 hasConceptScore W997137469C2777299769 @default.
- W997137469 hasConceptScore W997137469C2777855551 @default.
- W997137469 hasConceptScore W997137469C2780801425 @default.
- W997137469 hasConceptScore W997137469C2781238097 @default.
- W997137469 hasConceptScore W997137469C33923547 @default.
- W997137469 hasConceptScore W997137469C41008148 @default.
- W997137469 hasConceptScore W997137469C86803240 @default.
- W997137469 hasConceptScore W997137469C93682546 @default.
- W997137469 hasLocation W9971374691 @default.
- W997137469 hasOpenAccess W997137469 @default.
- W997137469 hasPrimaryLocation W9971374691 @default.
- W997137469 hasRelatedWork W1523144187 @default.
- W997137469 hasRelatedWork W1594841668 @default.
- W997137469 hasRelatedWork W1599578423 @default.
- W997137469 hasRelatedWork W1600104581 @default.
- W997137469 hasRelatedWork W1603678225 @default.
- W997137469 hasRelatedWork W163415978 @default.
- W997137469 hasRelatedWork W1855588255 @default.
- W997137469 hasRelatedWork W1889920293 @default.
- W997137469 hasRelatedWork W1974528591 @default.
- W997137469 hasRelatedWork W2034197623 @default.
- W997137469 hasRelatedWork W2034517082 @default.
- W997137469 hasRelatedWork W2056464771 @default.
- W997137469 hasRelatedWork W2062887328 @default.
- W997137469 hasRelatedWork W2079257063 @default.
- W997137469 hasRelatedWork W2120047901 @default.
- W997137469 hasRelatedWork W2160937552 @default.
- W997137469 hasRelatedWork W2161122997 @default.
- W997137469 hasRelatedWork W2259267252 @default.
- W997137469 hasRelatedWork W2786709181 @default.
- W997137469 hasRelatedWork W3023025460 @default.
- W997137469 isParatext "false" @default.
- W997137469 isRetracted "false" @default.
- W997137469 magId "997137469" @default.
- W997137469 workType "book-chapter" @default.