Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078334802> ?p ?o ?g. }
- W2078334802 abstract "Part 1 Polymorphic sets: the semantics of the judgement forms general rules enumeration sets Cartesian product of a family of sets equality sets natural numbers lists cartesian product of two sets disjoint union of two sets disjoint union of a family of sets the set of small sets (the first universe) well-orderings general trees. Part 2 Subsets: subsets in the basic set theory the subset theory. Part 3 Monomorphic sets: types defining sets in terms of types. Part 4 Examples: some small examples program derivation specification of abstract data types." @default.
- W2078334802 created "2016-06-24" @default.
- W2078334802 creator A5001387891 @default.
- W2078334802 creator A5036287032 @default.
- W2078334802 creator A5043124113 @default.
- W2078334802 date "1990-07-19" @default.
- W2078334802 modified "2023-09-23" @default.
- W2078334802 title "Programming in Martin-Lo¨f's type theory: an introduction" @default.
- W2078334802 cites W1196275239 @default.
- W2078334802 cites W126568045 @default.
- W2078334802 cites W131776992 @default.
- W2078334802 cites W1483170865 @default.
- W2078334802 cites W1487403858 @default.
- W2078334802 cites W1491813684 @default.
- W2078334802 cites W1498439614 @default.
- W2078334802 cites W1502939989 @default.
- W2078334802 cites W1529646094 @default.
- W2078334802 cites W1540066904 @default.
- W2078334802 cites W1589408343 @default.
- W2078334802 cites W1590828018 @default.
- W2078334802 cites W1603543937 @default.
- W2078334802 cites W1636139685 @default.
- W2078334802 cites W1832063684 @default.
- W2078334802 cites W188044518 @default.
- W2078334802 cites W1984807151 @default.
- W2078334802 cites W1986402635 @default.
- W2078334802 cites W1996404651 @default.
- W2078334802 cites W1997029640 @default.
- W2078334802 cites W2005917745 @default.
- W2078334802 cites W2012436850 @default.
- W2078334802 cites W2015336142 @default.
- W2078334802 cites W2020925688 @default.
- W2078334802 cites W2021790140 @default.
- W2078334802 cites W2028074529 @default.
- W2078334802 cites W2035241416 @default.
- W2078334802 cites W2035324774 @default.
- W2078334802 cites W2042133273 @default.
- W2078334802 cites W2043566933 @default.
- W2078334802 cites W2051685387 @default.
- W2078334802 cites W2067914884 @default.
- W2078334802 cites W2084405255 @default.
- W2078334802 cites W2089241138 @default.
- W2078334802 cites W2089366670 @default.
- W2078334802 cites W2094945667 @default.
- W2078334802 cites W2100738443 @default.
- W2078334802 cites W2103953153 @default.
- W2078334802 cites W2106718208 @default.
- W2078334802 cites W2109576922 @default.
- W2078334802 cites W2128057448 @default.
- W2078334802 cites W2129620958 @default.
- W2078334802 cites W2130086352 @default.
- W2078334802 cites W2147543351 @default.
- W2078334802 cites W2151520617 @default.
- W2078334802 cites W2153978214 @default.
- W2078334802 cites W2159709550 @default.
- W2078334802 cites W2323777246 @default.
- W2078334802 cites W2329766482 @default.
- W2078334802 cites W2339337913 @default.
- W2078334802 cites W2401908577 @default.
- W2078334802 cites W2406444852 @default.
- W2078334802 cites W2410119597 @default.
- W2078334802 cites W2742270218 @default.
- W2078334802 cites W2797503723 @default.
- W2078334802 cites W2798789889 @default.
- W2078334802 cites W2914693551 @default.
- W2078334802 cites W47204537 @default.
- W2078334802 cites W569543113 @default.
- W2078334802 cites W655501358 @default.
- W2078334802 cites W77027564 @default.
- W2078334802 cites W80046375 @default.
- W2078334802 cites W97133795 @default.
- W2078334802 cites W990876026 @default.
- W2078334802 cites W380981889 @default.
- W2078334802 hasPublicationYear "1990" @default.
- W2078334802 type Work @default.
- W2078334802 sameAs 2078334802 @default.
- W2078334802 citedByCount "160" @default.
- W2078334802 countsByYear W20783348022012 @default.
- W2078334802 countsByYear W20783348022013 @default.
- W2078334802 countsByYear W20783348022014 @default.
- W2078334802 countsByYear W20783348022015 @default.
- W2078334802 countsByYear W20783348022016 @default.
- W2078334802 countsByYear W20783348022017 @default.
- W2078334802 countsByYear W20783348022018 @default.
- W2078334802 countsByYear W20783348022019 @default.
- W2078334802 countsByYear W20783348022021 @default.
- W2078334802 crossrefType "book" @default.
- W2078334802 hasAuthorship W2078334802A5001387891 @default.
- W2078334802 hasAuthorship W2078334802A5036287032 @default.
- W2078334802 hasAuthorship W2078334802A5043124113 @default.
- W2078334802 hasConcept C114614502 @default.
- W2078334802 hasConcept C118615104 @default.
- W2078334802 hasConcept C121332964 @default.
- W2078334802 hasConcept C136119220 @default.
- W2078334802 hasConcept C150591576 @default.
- W2078334802 hasConcept C153046414 @default.
- W2078334802 hasConcept C156340839 @default.
- W2078334802 hasConcept C177264268 @default.
- W2078334802 hasConcept C184264201 @default.
- W2078334802 hasConcept C184337299 @default.