Projective bigraphs with recursive operations

J. C. E. Dekker. Projective bigraphs with recursive operations. Notre Dame Journal of Formal Logic, 19(2):193-199, 1978. [doi]

Abstract

Abstract is missing.