Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Chicago Style (17th ed.) CitationAbramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
MLA引文Abramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
警告:這些引文格式不一定是100%准確.