Search results for: Ka I Pun
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1234-1267
Journal of Logic and Algebraic Programming > 2012 > 81 > 3 > 331-354
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1234-1267
Journal of Logic and Algebraic Programming > 2012 > 81 > 3 > 331-354