I think [1] is a good summary of the types and [2] to be a good explanation of their philosophy, but I had some experience with lattice theory and typed feature

I think [1] is a good summary of the types and [2] to be a good explanation of their philosophy, but I had some experience with lattice theory and typed feature structure grammars which helped a lot. There are a couple of papers cited in [2] that would help a lot in providing background. Not quite a one-pager! Maybe it would make a good blog post... [1]: https://cuelang.org/docs/concept/the-logic-of-cue/ https://cuelang.org/docs/concept/the-logic-of-cue/ [2]: https://github.com/cue-lang/cue/blob/master/doc/ref/impl.md https://github.com/cue-lang/cue/blob/master/doc/ref/impl.md