Sequent calculus proof theory of intuitionistic apartness and order relations Sara Negri Pages: 521 - 547
On the \(\kappa\)-cub game on \(\lambda \) and \(I[\lambda ]\) Taneli HuuskonenTapani HyttinenMika Rautila Pages: 549 - 557