Report copyright - ON CONSTRUCTOR REWRITE SYSTEMS AND THE LAMBDA … · We only consider orthogonal and constructor rewriting in this paper. A constructor term rewrite system is a pair Ξ = (ΣΞ,RΞ)
Please pass captcha verification before submit form
Please pass captcha verification before submit form