Home › Entities › academia › Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Research article (2016 IEEE European Symposium on Security and Privacy (EuroS&P), 2016) · cited 38× · AI/ML
academia openalex:W2361817505
Press Enter · cited answer in seconds

Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Summary

Reasoning about Object Capabilities with Logical Relations and Effect Parametricity is a scholarly article[1].

Key Facts

  • Reasoning about Object Capabilities with Logical Relations and Effect Parametricity's instance of is recorded as scholarly article[2].

Related Entities

Lars Birkedal

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [2] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. Retrieved May 24, 2026, from https://4ort.xyz/entity/reasoning-about-object-capabilities-with-logical-relations-and-effect-parametricity
MLA “Reasoning about Object Capabilities with Logical Relations and Effect Parametricity.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/reasoning-about-object-capabilities-with-logical-relations-and-effect-parametricity.
BibTeX @misc{4ortxyz_reasoning-about-object-capabilities-with-logical-relations-and-effect-parametricity_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Reasoning about Object Capabilities with Logical Relations and Effect Parametricity}}, year = {2026}, url = {https://4ort.xyz/entity/reasoning-about-object-capabilities-with-logical-relations-and-effect-parametricity}, note = {Accessed: 2026-05-24}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Reasoning about Object Capabilities with Logical Relations and Effect Parametricity — https://4ort.xyz/entity/reasoning-about-object-capabilities-with-logical-relations-and-effect-parametricity (retrieved 2026-05-24)

Canonical URL: https://4ort.xyz/entity/reasoning-about-object-capabilities-with-logical-relations-and-effect-parametricity · Last refreshed: