Abramsky, S., & Lenisa, M. (2001). Fully Complete Minimal PER Models for the Simply Typed λ−calculus.
Citación estilo ChicagoAbramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Cita MLAAbramsky, S., and M. Lenisa. Fully Complete Minimal PER Models for the Simply Typed λ−calculus. 2001.
Warning: These citations may not always be 100% accurate.