documentation/bookmark/type_theory/union_and_intersection.md


1
2
3
4
5

# Reference

0. [Union and intersection contracts are hard, actually](https://www.tweag.io/blog/2022-04-28-union-intersection-contracts/)
	0. [Union and intersection contracts are hard, actually](https://arxiv.org/abs/2106.06278)