A metapredicative study of μ-arithmetics

dc.contributor.author	Afshari, Bahareh
dc.contributor.author	Leigh, Graham E.
dc.date.accessioned	2025-01-28T09:20:28Z
dc.date.available	2025-01-28T09:20:28Z
dc.date.issued	2025-01-27
dc.identifier.uri	https://hdl.handle.net/2077/84780
dc.description.abstract	We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic through the medium of illfounded proofs and continuous cut elimination.	sv
dc.language.iso	eng	sv
dc.title	A metapredicative study of μ-arithmetics	sv
dc.type	Text	sv
dc.type.svep	preprint	sv