1. Full abstraction for PCF;Abramsky;Information and Computation,2000
2. C. Böhm, Alcune proprietà delle forme β-η-normali nel λ- K-calcolo. Pubblicazioni dell’Istituto per le Applicazioni del Calcolo, 696, 1968.
3. Pierre Boudes, Unifying static and dynamic denotational semantics. Technical Report, Institut de Mathématiques de Luminy, 2004.
4. Vincent Danos, Laurent Regnier, Proof-nets and the Hilbert space, in: Girard et al. [15], pp. 307–328.
5. λμ-calculus and Böhm’s theorem;David;Journal of Symbolic Logic,2001