Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Chicago-referens (17:e uppl.)Abramsky, S., och M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
MLA-referens (9:e uppl.)Abramsky, S., och M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.