Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
芝加哥风格引文Abramsky, S., 与 M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
MLA引文Abramsky, S., 与 M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
警告:这些引文格式不一定是100%准确.