Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Lua i Stíl Chicago (17ú heag.)Abramsky, S., agus M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Lua MLA (9ú heag.)Abramsky, S., agus M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.