Alvarez-Picallo, M., & Ong, C. (2020). The difference λ-calculus: A language for difference categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Alvarez-Picallo, M., và CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Alvarez-Picallo, M., và CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.