Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումAbramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
MLA (9րդ խմբ.) ՄեջբերումAbramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.