Domain models of typed lambda calculi: towards a theory of concurrency in typed functional setting. - Claudio Dupré (Shaker, 1998)