Crossley, J. N., Mandel, L., & Wirsing, M. (1995). Cálculo lambda de primer orden con constraints y la propiedad church-rosser. Web
Citación estilo ChicagoCrossley, John N., Luis Mandel, and Martin Wirsing. Cálculo Lambda De Primer Orden Con Constraints Y La Propiedad Church-rosser. 1995.
Cita MLACrossley, John N., Luis Mandel, and Martin Wirsing. Cálculo Lambda De Primer Orden Con Constraints Y La Propiedad Church-rosser. 1995.
Precaución: Estas citas no son 100% exactas.