Browsing by Author "Afshari, Bahareh"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item A metapredicative study of μ-arithmetics(2025-01-27) Afshari, Bahareh; Leigh, Graham E.We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic through the medium of illfounded proofs and continuous cut elimination.