Tuplix Calculus

Jan A. Bergstra, Alban Ponse, Mark van der Zwaag. Tuplix Calculus. Sci. Ann. Cuza Univ., 18:35-61, 2008. [doi]

Abstract

Abstract is missing.