nLab
totality space
Redirected from "totality spaces".
Totality spaces
Totality spaces
Definition
A totality space is an arity space for . At least some references add the additional condition that .
References
- Loader, Ralph. Linear logic, totality and full completeness. Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science (1994): 292-298.
Last revised on May 6, 2022 at 19:52:42.
See the history of this page for a list of all contributions to it.