Alvarez-Picallo, M., & Ong, C. (2020). The difference λ-calculus: A language for difference categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
芝加哥风格引文Alvarez-Picallo, M., 与 CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
MLA引文Alvarez-Picallo, M., 与 CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
警告：这些引文格式不一定是100％准确.