Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Cita Chicago (17th ed.)Abramsky, S., i M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Cita MLA (9th ed.)Abramsky, S., i M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Atenció: Aquestes cites poden no estar 100% correctes.