The Relational Machine Calculus.

Chris Barrett, Daniel Castle, Willem Heijltjes

Browse the full LICS paper archive.