Afshari, BaharehLeigh, Graham E.2025-01-282025-01-282025-01-27https://hdl.handle.net/2077/84780We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic through the medium of illfounded proofs and continuous cut elimination.engText