Determinisation of relational substitutions in ordered categories with domain

Wolfram Kahl. Determinisation of relational substitutions in ordered categories with domain. Journal of Logic and Algebraic Programming, 79(8):812-829, 2010. [doi]

Abstract

Abstract is missing.