A metapredicative study of μ-arithmetics
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic
through the medium of illfounded proofs and continuous cut elimination.