Authors Search About

Milner, Robin

1 publications

IJCAI 1971 An Algebraic Definition of Simulation Between Programs Robin Milner

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy