Matches in SemOpenAlex for { <https://semopenalex.org/work/W1482465398> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1482465398 abstract "This article develops a type system for based on partial equivalence relations for relational programming in the Bird-Meertens style.We introduce a general definition for an inductive type and show how inductive types with laws can be constructed in the type system. The usability of this theory is demonstrated on the Boom hierarchy (the class of types for the original Bird-Meertens formalism)." @default.
- W1482465398 created "2016-06-24" @default.
- W1482465398 creator A5047088942 @default.
- W1482465398 date "1992-01-01" @default.
- W1482465398 modified "2023-09-27" @default.
- W1482465398 title "Pers as Types, Inductive Types and Types with Laws" @default.
- W1482465398 cites W2006006495 @default.
- W1482465398 doi "https://doi.org/10.1007/978-1-4471-3794-8_18" @default.
- W1482465398 hasPublicationYear "1992" @default.
- W1482465398 type Work @default.
- W1482465398 sameAs 1482465398 @default.
- W1482465398 citedByCount "1" @default.
- W1482465398 crossrefType "book-chapter" @default.
- W1482465398 hasAuthorship W1482465398A5047088942 @default.
- W1482465398 hasConcept C142362112 @default.
- W1482465398 hasConcept C153349607 @default.
- W1482465398 hasConcept C17744445 @default.
- W1482465398 hasConcept C18903297 @default.
- W1482465398 hasConcept C199360897 @default.
- W1482465398 hasConcept C199539241 @default.
- W1482465398 hasConcept C2777299769 @default.
- W1482465398 hasConcept C31170391 @default.
- W1482465398 hasConcept C33923547 @default.
- W1482465398 hasConcept C41008148 @default.
- W1482465398 hasConcept C558565934 @default.
- W1482465398 hasConcept C73301696 @default.
- W1482465398 hasConcept C80444323 @default.
- W1482465398 hasConcept C86803240 @default.
- W1482465398 hasConcept C93682546 @default.
- W1482465398 hasConceptScore W1482465398C142362112 @default.
- W1482465398 hasConceptScore W1482465398C153349607 @default.
- W1482465398 hasConceptScore W1482465398C17744445 @default.
- W1482465398 hasConceptScore W1482465398C18903297 @default.
- W1482465398 hasConceptScore W1482465398C199360897 @default.
- W1482465398 hasConceptScore W1482465398C199539241 @default.
- W1482465398 hasConceptScore W1482465398C2777299769 @default.
- W1482465398 hasConceptScore W1482465398C31170391 @default.
- W1482465398 hasConceptScore W1482465398C33923547 @default.
- W1482465398 hasConceptScore W1482465398C41008148 @default.
- W1482465398 hasConceptScore W1482465398C558565934 @default.
- W1482465398 hasConceptScore W1482465398C73301696 @default.
- W1482465398 hasConceptScore W1482465398C80444323 @default.
- W1482465398 hasConceptScore W1482465398C86803240 @default.
- W1482465398 hasConceptScore W1482465398C93682546 @default.
- W1482465398 hasLocation W14824653981 @default.
- W1482465398 hasOpenAccess W1482465398 @default.
- W1482465398 hasPrimaryLocation W14824653981 @default.
- W1482465398 hasRelatedWork W1501172849 @default.
- W1482465398 hasRelatedWork W1502853102 @default.
- W1482465398 hasRelatedWork W1544799691 @default.
- W1482465398 hasRelatedWork W1551132038 @default.
- W1482465398 hasRelatedWork W1575992249 @default.
- W1482465398 hasRelatedWork W2010483477 @default.
- W1482465398 hasRelatedWork W2011273500 @default.
- W1482465398 hasRelatedWork W2034807570 @default.
- W1482465398 hasRelatedWork W203992540 @default.
- W1482465398 hasRelatedWork W2049641148 @default.
- W1482465398 hasRelatedWork W2050646635 @default.
- W1482465398 hasRelatedWork W2129096339 @default.
- W1482465398 hasRelatedWork W2134181241 @default.
- W1482465398 hasRelatedWork W2173040341 @default.
- W1482465398 hasRelatedWork W2318381161 @default.
- W1482465398 hasRelatedWork W2348271935 @default.
- W1482465398 hasRelatedWork W2388396240 @default.
- W1482465398 hasRelatedWork W2565497561 @default.
- W1482465398 hasRelatedWork W3043607029 @default.
- W1482465398 hasRelatedWork W2000243767 @default.
- W1482465398 isParatext "false" @default.
- W1482465398 isRetracted "false" @default.
- W1482465398 magId "1482465398" @default.
- W1482465398 workType "book-chapter" @default.