Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory

Open in new window