A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇.

Lev D. Beklemishev

Browse the full LFCS paper archive.