Orthologic type systems argue for union, intersection, negation — but not distributivity
burny_tech · x · 2026-07-23
A paper on orthologic type systems argues for a type system with union, intersection, negation, variance, and explicit subtype assumptions, but without distributivity.
The core claim is that dropping distributivity is the right choice: A × (B + C) should not be treated as the same type as (A × B) + (A × C). They may be isomorphic, but the paper argues that distributivity conflates extensional equivalence with representational identity.
More from Research
- Autoencoders compress data into latent spaces and flag anomalies by reconstruction error — burny_tech · 2026-07-23
- OpenAI incident and new paper show AI monitors still miss hidden sabotage — TheTuringPost · 2026-07-23
- 15 classic AI papers every engineer should read, from Transformers to RLHF — kalyan_kpl · 2026-07-23
- Tracking source IDs across edits could turn provenance into a falsifiable claim — tallmetommy · 2026-07-23
- 30 PyTorch problems cover MLSys inference, quantization, KV cache, and batching — kalyan_kpl · 2026-07-23
- NeurIPS workshop will focus on child safety, privacy, and synthetic-content risks in AI — chhaviyadav_ · 2026-07-23