Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Abramsky, S., ба M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
MLA -ийн эшлэл (9 дэх хэвлэлт)Abramsky, S., ба M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.