FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2255318965> ?p ?o ?g. }

• W2255318965 abstract "Interactive behaviors are ubiquitous in modern cryptography, but are also present in $lambda$-calculi, in the form of higher-order constructions. Traditionally, however, typed $lambda$-calculi simply do not fit well into cryptography, being both deterministic and too powerful as for the complexity of functions they can express. We study interaction in a $lambda$-calculus for probabilistic polynomial time computable functions. In particular, we show how notions of context equivalence and context metric can both be characterized by way of traces when defined on linear contexts. We then give evidence on how this can be turned into a proof methodology for computational indistinguishability, a key notion in modern cryptography. We also hint at what happens if a more general notion of a context is used." @default.
• W2255318965 created "2016-06-24" @default.
• W2255318965 creator A5049321293 @default.
• W2255318965 creator A5084450516 @default.
• W2255318965 date "2015-06-11" @default.
• W2255318965 modified "2023-09-23" @default.
• W2255318965 title "On Equivalences, Metrics, and Polynomial Time (Long Version)" @default.
• W2255318965 cites W1501056402 @default.
• W2255318965 cites W1560272532 @default.
• W2255318965 cites W172004165 @default.
• W2255318965 cites W1892798954 @default.
• W2255318965 cites W1907597480 @default.
• W2255318965 cites W2011277321 @default.
• W2255318965 cites W2062740098 @default.
• W2255318965 cites W2092367588 @default.
• W2255318965 cites W2167297340 @default.
• W2255318965 cites W2186382900 @default.
• W2255318965 cites W2399200320 @default.
• W2255318965 cites W2951937111 @default.
• W2255318965 hasPublicationYear "2015" @default.
• W2255318965 type Work @default.
• W2255318965 sameAs 2255318965 @default.
• W2255318965 citedByCount "0" @default.
• W2255318965 crossrefType "posted-content" @default.
• W2255318965 hasAuthorship W2255318965A5049321293 @default.
• W2255318965 hasAuthorship W2255318965A5084450516 @default.
• W2255318965 hasConcept C11413529 @default.
• W2255318965 hasConcept C118615104 @default.
• W2255318965 hasConcept C134306372 @default.
• W2255318965 hasConcept C135790938 @default.
• W2255318965 hasConcept C136119220 @default.
• W2255318965 hasConcept C151730666 @default.
• W2255318965 hasConcept C154945302 @default.
• W2255318965 hasConcept C162324750 @default.
• W2255318965 hasConcept C176217482 @default.
• W2255318965 hasConcept C178489894 @default.
• W2255318965 hasConcept C179799912 @default.
• W2255318965 hasConcept C197685441 @default.
• W2255318965 hasConcept C199343813 @default.
• W2255318965 hasConcept C202444582 @default.
• W2255318965 hasConcept C21547014 @default.
• W2255318965 hasConcept C2777686260 @default.
• W2255318965 hasConcept C2779343474 @default.
• W2255318965 hasConcept C2780069185 @default.
• W2255318965 hasConcept C311688 @default.
• W2255318965 hasConcept C33923547 @default.
• W2255318965 hasConcept C41008148 @default.
• W2255318965 hasConcept C49937458 @default.
• W2255318965 hasConcept C54271186 @default.
• W2255318965 hasConcept C71924100 @default.
• W2255318965 hasConcept C80444323 @default.
• W2255318965 hasConcept C86803240 @default.
• W2255318965 hasConcept C90119067 @default.
• W2255318965 hasConceptScore W2255318965C11413529 @default.
• W2255318965 hasConceptScore W2255318965C118615104 @default.
• W2255318965 hasConceptScore W2255318965C134306372 @default.
• W2255318965 hasConceptScore W2255318965C135790938 @default.
• W2255318965 hasConceptScore W2255318965C136119220 @default.
• W2255318965 hasConceptScore W2255318965C151730666 @default.
• W2255318965 hasConceptScore W2255318965C154945302 @default.
• W2255318965 hasConceptScore W2255318965C162324750 @default.
• W2255318965 hasConceptScore W2255318965C176217482 @default.
• W2255318965 hasConceptScore W2255318965C178489894 @default.
• W2255318965 hasConceptScore W2255318965C179799912 @default.
• W2255318965 hasConceptScore W2255318965C197685441 @default.
• W2255318965 hasConceptScore W2255318965C199343813 @default.
• W2255318965 hasConceptScore W2255318965C202444582 @default.
• W2255318965 hasConceptScore W2255318965C21547014 @default.
• W2255318965 hasConceptScore W2255318965C2777686260 @default.
• W2255318965 hasConceptScore W2255318965C2779343474 @default.
• W2255318965 hasConceptScore W2255318965C2780069185 @default.
• W2255318965 hasConceptScore W2255318965C311688 @default.
• W2255318965 hasConceptScore W2255318965C33923547 @default.
• W2255318965 hasConceptScore W2255318965C41008148 @default.
• W2255318965 hasConceptScore W2255318965C49937458 @default.
• W2255318965 hasConceptScore W2255318965C54271186 @default.
• W2255318965 hasConceptScore W2255318965C71924100 @default.
• W2255318965 hasConceptScore W2255318965C80444323 @default.
• W2255318965 hasConceptScore W2255318965C86803240 @default.
• W2255318965 hasConceptScore W2255318965C90119067 @default.
• W2255318965 hasLocation W22553189651 @default.
• W2255318965 hasOpenAccess W2255318965 @default.
• W2255318965 hasPrimaryLocation W22553189651 @default.
• W2255318965 hasRelatedWork W1539487186 @default.
• W2255318965 hasRelatedWork W1642664393 @default.
• W2255318965 hasRelatedWork W1996152169 @default.
• W2255318965 hasRelatedWork W1999732797 @default.
• W2255318965 hasRelatedWork W2130732169 @default.
• W2255318965 hasRelatedWork W2169655078 @default.
• W2255318965 hasRelatedWork W2201760732 @default.
• W2255318965 hasRelatedWork W2213473692 @default.
• W2255318965 hasRelatedWork W2277937096 @default.
• W2255318965 hasRelatedWork W2397739427 @default.
• W2255318965 hasRelatedWork W2660255895 @default.
• W2255318965 hasRelatedWork W2825557463 @default.
• W2255318965 hasRelatedWork W2912088735 @default.
• W2255318965 hasRelatedWork W2951218816 @default.
• W2255318965 hasRelatedWork W2951937111 @default.
• W2255318965 hasRelatedWork W2969616836 @default.
• W2255318965 hasRelatedWork W3023853936 @default.

• next