The Functional Machine Calculus II: Semantics.

Chris Barrett, Willem Heijltjes, Guy McCusker

Browse the full CSL paper archive.