Quantitative semantics of the lambda calculus: Some generalisations of the relational model.

C.-H. Luke Ong

Browse the full LICS paper archive.