Determinisation of relational substitutions in ordered categories with domain
Article in The Journal of Logic and Algebraic Programming (November 2010)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in The Journal of Logic and Algebraic Programming (November 2010)