Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566009901> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1566009901 abstract "1. Introduction 2. Categorical preliminaries 3. Partiality 4. Order-enriched categories of partial maps 5. Data types 6. Recursive types 7. Recursive types in Cpo-categories 8. FPC 9. Computational soundness and adequacy 10. Summary and future research Appendices References Indices." @default.
- W1566009901 created "2016-06-24" @default.
- W1566009901 creator A5080675787 @default.
- W1566009901 date "1996-08-08" @default.
- W1566009901 modified "2023-09-27" @default.
- W1566009901 title "Axiomatic Domain Theory in Categories of Partial Maps" @default.
- W1566009901 hasPublicationYear "1996" @default.
- W1566009901 type Work @default.
- W1566009901 sameAs 1566009901 @default.
- W1566009901 citedByCount "53" @default.
- W1566009901 countsByYear W15660099012012 @default.
- W1566009901 countsByYear W15660099012014 @default.
- W1566009901 countsByYear W15660099012015 @default.
- W1566009901 countsByYear W15660099012016 @default.
- W1566009901 countsByYear W15660099012018 @default.
- W1566009901 countsByYear W15660099012020 @default.
- W1566009901 countsByYear W15660099012021 @default.
- W1566009901 crossrefType "book" @default.
- W1566009901 hasAuthorship W1566009901A5080675787 @default.
- W1566009901 hasConcept C10138342 @default.
- W1566009901 hasConcept C105795698 @default.
- W1566009901 hasConcept C118615104 @default.
- W1566009901 hasConcept C134306372 @default.
- W1566009901 hasConcept C136119220 @default.
- W1566009901 hasConcept C162324750 @default.
- W1566009901 hasConcept C167729594 @default.
- W1566009901 hasConcept C182306322 @default.
- W1566009901 hasConcept C199360897 @default.
- W1566009901 hasConcept C202444582 @default.
- W1566009901 hasConcept C2524010 @default.
- W1566009901 hasConcept C29585364 @default.
- W1566009901 hasConcept C33923547 @default.
- W1566009901 hasConcept C36503486 @default.
- W1566009901 hasConcept C39920170 @default.
- W1566009901 hasConcept C41008148 @default.
- W1566009901 hasConcept C5274069 @default.
- W1566009901 hasConceptScore W1566009901C10138342 @default.
- W1566009901 hasConceptScore W1566009901C105795698 @default.
- W1566009901 hasConceptScore W1566009901C118615104 @default.
- W1566009901 hasConceptScore W1566009901C134306372 @default.
- W1566009901 hasConceptScore W1566009901C136119220 @default.
- W1566009901 hasConceptScore W1566009901C162324750 @default.
- W1566009901 hasConceptScore W1566009901C167729594 @default.
- W1566009901 hasConceptScore W1566009901C182306322 @default.
- W1566009901 hasConceptScore W1566009901C199360897 @default.
- W1566009901 hasConceptScore W1566009901C202444582 @default.
- W1566009901 hasConceptScore W1566009901C2524010 @default.
- W1566009901 hasConceptScore W1566009901C29585364 @default.
- W1566009901 hasConceptScore W1566009901C33923547 @default.
- W1566009901 hasConceptScore W1566009901C36503486 @default.
- W1566009901 hasConceptScore W1566009901C39920170 @default.
- W1566009901 hasConceptScore W1566009901C41008148 @default.
- W1566009901 hasConceptScore W1566009901C5274069 @default.
- W1566009901 hasLocation W15660099011 @default.
- W1566009901 hasOpenAccess W1566009901 @default.
- W1566009901 hasPrimaryLocation W15660099011 @default.
- W1566009901 hasRelatedWork W1520893111 @default.
- W1566009901 hasRelatedWork W1532092775 @default.
- W1566009901 hasRelatedWork W1534018603 @default.
- W1566009901 hasRelatedWork W1565457335 @default.
- W1566009901 hasRelatedWork W1589613545 @default.
- W1566009901 hasRelatedWork W1593666219 @default.
- W1566009901 hasRelatedWork W16477519 @default.
- W1566009901 hasRelatedWork W1997143185 @default.
- W1566009901 hasRelatedWork W2007270285 @default.
- W1566009901 hasRelatedWork W2024873396 @default.
- W1566009901 hasRelatedWork W2049362364 @default.
- W1566009901 hasRelatedWork W2060852846 @default.
- W1566009901 hasRelatedWork W2101254143 @default.
- W1566009901 hasRelatedWork W2120713972 @default.
- W1566009901 hasRelatedWork W2121306658 @default.
- W1566009901 hasRelatedWork W2146255646 @default.
- W1566009901 hasRelatedWork W2156876717 @default.
- W1566009901 hasRelatedWork W2914212232 @default.
- W1566009901 hasRelatedWork W326743114 @default.
- W1566009901 hasRelatedWork W79336753 @default.
- W1566009901 isParatext "false" @default.
- W1566009901 isRetracted "false" @default.
- W1566009901 magId "1566009901" @default.
- W1566009901 workType "book" @default.