Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489865727> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1489865727 endingPage "165" @default.
- W1489865727 startingPage "151" @default.
- W1489865727 abstract "A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer’s logic PF by enriching the type system of the logic with subset types and dependent types. Validity in PFsub is then reduced to validity in PF by a translation." @default.
- W1489865727 created "2016-06-24" @default.
- W1489865727 creator A5072489480 @default.
- W1489865727 date "2003-01-01" @default.
- W1489865727 modified "2023-09-27" @default.
- W1489865727 title "Subset Types and Partial Functions" @default.
- W1489865727 cites W126568045 @default.
- W1489865727 cites W1489865727 @default.
- W1489865727 cites W1491709951 @default.
- W1489865727 cites W1542969318 @default.
- W1489865727 cites W1775396611 @default.
- W1489865727 cites W1966663897 @default.
- W1489865727 cites W1974190112 @default.
- W1489865727 cites W1996404651 @default.
- W1489865727 cites W2120203109 @default.
- W1489865727 cites W2146306932 @default.
- W1489865727 cites W2157560459 @default.
- W1489865727 cites W2211325406 @default.
- W1489865727 cites W2316406086 @default.
- W1489865727 cites W3023993646 @default.
- W1489865727 cites W4237150514 @default.
- W1489865727 doi "https://doi.org/10.1007/978-3-540-45085-6_12" @default.
- W1489865727 hasPublicationYear "2003" @default.
- W1489865727 type Work @default.
- W1489865727 sameAs 1489865727 @default.
- W1489865727 citedByCount "4" @default.
- W1489865727 countsByYear W14898657272014 @default.
- W1489865727 crossrefType "book-chapter" @default.
- W1489865727 hasAuthorship W1489865727A5072489480 @default.
- W1489865727 hasConcept C104317684 @default.
- W1489865727 hasConcept C105580179 @default.
- W1489865727 hasConcept C11413529 @default.
- W1489865727 hasConcept C118615104 @default.
- W1489865727 hasConcept C128838566 @default.
- W1489865727 hasConcept C131017901 @default.
- W1489865727 hasConcept C149364088 @default.
- W1489865727 hasConcept C157922185 @default.
- W1489865727 hasConcept C182359184 @default.
- W1489865727 hasConcept C185592680 @default.
- W1489865727 hasConcept C18903297 @default.
- W1489865727 hasConcept C195701839 @default.
- W1489865727 hasConcept C199360897 @default.
- W1489865727 hasConcept C2777299769 @default.
- W1489865727 hasConcept C2987117450 @default.
- W1489865727 hasConcept C33923547 @default.
- W1489865727 hasConcept C41008148 @default.
- W1489865727 hasConcept C55493867 @default.
- W1489865727 hasConcept C86803240 @default.
- W1489865727 hasConceptScore W1489865727C104317684 @default.
- W1489865727 hasConceptScore W1489865727C105580179 @default.
- W1489865727 hasConceptScore W1489865727C11413529 @default.
- W1489865727 hasConceptScore W1489865727C118615104 @default.
- W1489865727 hasConceptScore W1489865727C128838566 @default.
- W1489865727 hasConceptScore W1489865727C131017901 @default.
- W1489865727 hasConceptScore W1489865727C149364088 @default.
- W1489865727 hasConceptScore W1489865727C157922185 @default.
- W1489865727 hasConceptScore W1489865727C182359184 @default.
- W1489865727 hasConceptScore W1489865727C185592680 @default.
- W1489865727 hasConceptScore W1489865727C18903297 @default.
- W1489865727 hasConceptScore W1489865727C195701839 @default.
- W1489865727 hasConceptScore W1489865727C199360897 @default.
- W1489865727 hasConceptScore W1489865727C2777299769 @default.
- W1489865727 hasConceptScore W1489865727C2987117450 @default.
- W1489865727 hasConceptScore W1489865727C33923547 @default.
- W1489865727 hasConceptScore W1489865727C41008148 @default.
- W1489865727 hasConceptScore W1489865727C55493867 @default.
- W1489865727 hasConceptScore W1489865727C86803240 @default.
- W1489865727 hasLocation W14898657271 @default.
- W1489865727 hasOpenAccess W1489865727 @default.
- W1489865727 hasPrimaryLocation W14898657271 @default.
- W1489865727 hasRelatedWork W1532058475 @default.
- W1489865727 hasRelatedWork W1652311832 @default.
- W1489865727 hasRelatedWork W2135396778 @default.
- W1489865727 hasRelatedWork W2166247150 @default.
- W1489865727 hasRelatedWork W2243428364 @default.
- W1489865727 hasRelatedWork W2462453872 @default.
- W1489865727 hasRelatedWork W2748952813 @default.
- W1489865727 hasRelatedWork W3207171446 @default.
- W1489865727 hasRelatedWork W4243252198 @default.
- W1489865727 hasRelatedWork W4245713008 @default.
- W1489865727 isParatext "false" @default.
- W1489865727 isRetracted "false" @default.
- W1489865727 magId "1489865727" @default.
- W1489865727 workType "book-chapter" @default.