blob: 3f053f60b9365890f9c8133ec32e9e756c4e14ac (
plain)
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)
|