Fork Algebraic Datatypes

Pablo E. Martínez López, Gabriel A. Baum. Fork Algebraic Datatypes. Logic Journal of the IGPL, 6(4):531-543, 1998. [doi]

Abstract

Abstract is missing.