Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136453915> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W3136453915 abstract "The theory of relational parametricity and its logical relations proof technique are powerful tools for reasoning about information hiding in the polymorphic λ-calculus. We investigate the applicat..." @default.
- W3136453915 created "2021-03-29" @default.
- W3136453915 creator A5024263072 @default.
- W3136453915 creator A5039944963 @default.
- W3136453915 date "2003-07-01" @default.
- W3136453915 modified "2023-10-17" @default.
- W3136453915 title "Logical relation for encryption" @default.
- W3136453915 doi "https://doi.org/10.5555/959088.959091" @default.
- W3136453915 hasPublicationYear "2003" @default.
- W3136453915 type Work @default.
- W3136453915 sameAs 3136453915 @default.
- W3136453915 citedByCount "10" @default.
- W3136453915 countsByYear W31364539152013 @default.
- W3136453915 countsByYear W31364539152022 @default.
- W3136453915 crossrefType "journal-article" @default.
- W3136453915 hasAuthorship W3136453915A5024263072 @default.
- W3136453915 hasAuthorship W3136453915A5039944963 @default.
- W3136453915 hasConcept C148730421 @default.
- W3136453915 hasConcept C25343380 @default.
- W3136453915 hasConcept C38652104 @default.
- W3136453915 hasConcept C41008148 @default.
- W3136453915 hasConcept C77088390 @default.
- W3136453915 hasConceptScore W3136453915C148730421 @default.
- W3136453915 hasConceptScore W3136453915C25343380 @default.
- W3136453915 hasConceptScore W3136453915C38652104 @default.
- W3136453915 hasConceptScore W3136453915C41008148 @default.
- W3136453915 hasConceptScore W3136453915C77088390 @default.
- W3136453915 hasLocation W31364539151 @default.
- W3136453915 hasOpenAccess W3136453915 @default.
- W3136453915 hasPrimaryLocation W31364539151 @default.
- W3136453915 hasRelatedWork W1523730659 @default.
- W3136453915 hasRelatedWork W15377955 @default.
- W3136453915 hasRelatedWork W1563089401 @default.
- W3136453915 hasRelatedWork W1573218237 @default.
- W3136453915 hasRelatedWork W1601703427 @default.
- W3136453915 hasRelatedWork W1813304904 @default.
- W3136453915 hasRelatedWork W2035327096 @default.
- W3136453915 hasRelatedWork W2060029146 @default.
- W3136453915 hasRelatedWork W2065324910 @default.
- W3136453915 hasRelatedWork W2073120895 @default.
- W3136453915 hasRelatedWork W2083981960 @default.
- W3136453915 hasRelatedWork W2125651997 @default.
- W3136453915 hasRelatedWork W2145667974 @default.
- W3136453915 hasRelatedWork W2161246822 @default.
- W3136453915 hasRelatedWork W2280808296 @default.
- W3136453915 hasRelatedWork W2351889184 @default.
- W3136453915 hasRelatedWork W3098880932 @default.
- W3136453915 hasRelatedWork W3170798936 @default.
- W3136453915 hasRelatedWork W326743114 @default.
- W3136453915 hasRelatedWork W1918362962 @default.
- W3136453915 isParatext "false" @default.
- W3136453915 isRetracted "false" @default.
- W3136453915 magId "3136453915" @default.
- W3136453915 workType "article" @default.