Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Παραπομπή σε μορφή Chicago (17η εκδ.)Abramsky, S., και M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Παραπομπή σε μορφή MLA (9th εκδ.)Abramsky, S., και M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.