papers.adligo.com

Classes (aka Types, Super-Sets)

Author: Scott Morgan
Created: 2026-01-04
Edited: 2026-01-04
Id: 1.3.6.1.4.1.33097.3.30
Copywrite 2020-2026 Adligo Inc

Citations

https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ http://katmat.math.uni-bremen.de/acc/acc.pdf#2.2

https://en.wikipedia.org/wiki/Type_theory