Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505199604> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1505199604 abstract "Algebraic properties of logical relations on partially ordered sets are studied. It is shown how to construct a logical relation that extends a collection of base Galois connections to a Galois connection of arbitrary higher-order type. Theorems-for-free is used to show that the construction ensures safe abstract interpretation of parametrically polymorphic functions." @default.
- W1505199604 created "2016-06-24" @default.
- W1505199604 creator A5037876376 @default.
- W1505199604 creator A5081861032 @default.
- W1505199604 date "2002-01-01" @default.
- W1505199604 modified "2023-09-27" @default.
- W1505199604 title "Logical Relations and Galois Connections" @default.
- W1505199604 cites W1553894716 @default.
- W1505199604 cites W1603012589 @default.
- W1505199604 cites W2014764321 @default.
- W1505199604 cites W2043100293 @default.
- W1505199604 cites W2046171107 @default.
- W1505199604 cites W2057292961 @default.
- W1505199604 cites W2059221460 @default.
- W1505199604 doi "https://doi.org/10.1007/3-540-45442-x_4" @default.
- W1505199604 hasPublicationYear "2002" @default.
- W1505199604 type Work @default.
- W1505199604 sameAs 1505199604 @default.
- W1505199604 citedByCount "2" @default.
- W1505199604 crossrefType "book-chapter" @default.
- W1505199604 hasAuthorship W1505199604A5037876376 @default.
- W1505199604 hasAuthorship W1505199604A5081861032 @default.
- W1505199604 hasConcept C118615104 @default.
- W1505199604 hasConcept C124101348 @default.
- W1505199604 hasConcept C13355873 @default.
- W1505199604 hasConcept C134306372 @default.
- W1505199604 hasConcept C136119220 @default.
- W1505199604 hasConcept C199360897 @default.
- W1505199604 hasConcept C202444582 @default.
- W1505199604 hasConcept C2524010 @default.
- W1505199604 hasConcept C25343380 @default.
- W1505199604 hasConcept C2777573902 @default.
- W1505199604 hasConcept C2780801425 @default.
- W1505199604 hasConcept C33923547 @default.
- W1505199604 hasConcept C41008148 @default.
- W1505199604 hasConcept C42058472 @default.
- W1505199604 hasConcept C67536143 @default.
- W1505199604 hasConcept C80444323 @default.
- W1505199604 hasConcept C9376300 @default.
- W1505199604 hasConcept C94398972 @default.
- W1505199604 hasConceptScore W1505199604C118615104 @default.
- W1505199604 hasConceptScore W1505199604C124101348 @default.
- W1505199604 hasConceptScore W1505199604C13355873 @default.
- W1505199604 hasConceptScore W1505199604C134306372 @default.
- W1505199604 hasConceptScore W1505199604C136119220 @default.
- W1505199604 hasConceptScore W1505199604C199360897 @default.
- W1505199604 hasConceptScore W1505199604C202444582 @default.
- W1505199604 hasConceptScore W1505199604C2524010 @default.
- W1505199604 hasConceptScore W1505199604C25343380 @default.
- W1505199604 hasConceptScore W1505199604C2777573902 @default.
- W1505199604 hasConceptScore W1505199604C2780801425 @default.
- W1505199604 hasConceptScore W1505199604C33923547 @default.
- W1505199604 hasConceptScore W1505199604C41008148 @default.
- W1505199604 hasConceptScore W1505199604C42058472 @default.
- W1505199604 hasConceptScore W1505199604C67536143 @default.
- W1505199604 hasConceptScore W1505199604C80444323 @default.
- W1505199604 hasConceptScore W1505199604C9376300 @default.
- W1505199604 hasConceptScore W1505199604C94398972 @default.
- W1505199604 hasLocation W15051996041 @default.
- W1505199604 hasOpenAccess W1505199604 @default.
- W1505199604 hasPrimaryLocation W15051996041 @default.
- W1505199604 hasRelatedWork W10375547 @default.
- W1505199604 hasRelatedWork W1509127431 @default.
- W1505199604 hasRelatedWork W159324155 @default.
- W1505199604 hasRelatedWork W1857164369 @default.
- W1505199604 hasRelatedWork W1973264993 @default.
- W1505199604 hasRelatedWork W198690178 @default.
- W1505199604 hasRelatedWork W1998254443 @default.
- W1505199604 hasRelatedWork W2038087941 @default.
- W1505199604 hasRelatedWork W2042631106 @default.
- W1505199604 hasRelatedWork W2050239135 @default.
- W1505199604 hasRelatedWork W2082610989 @default.
- W1505199604 hasRelatedWork W2092530416 @default.
- W1505199604 hasRelatedWork W2136077062 @default.
- W1505199604 hasRelatedWork W2139299951 @default.
- W1505199604 hasRelatedWork W2354823777 @default.
- W1505199604 hasRelatedWork W2779234330 @default.
- W1505199604 hasRelatedWork W2949937037 @default.
- W1505199604 hasRelatedWork W2998991441 @default.
- W1505199604 hasRelatedWork W3163010346 @default.
- W1505199604 hasRelatedWork W80379502 @default.
- W1505199604 isParatext "false" @default.
- W1505199604 isRetracted "false" @default.
- W1505199604 magId "1505199604" @default.
- W1505199604 workType "book-chapter" @default.