Alvarez-Picallo, M., & Ong, C. (2020). The difference λ-calculus: A language for difference categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Chicagoスタイル(17版)引用形式Alvarez-Picallo, M., , CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
MLA(9版)引用形式Alvarez-Picallo, M., , CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
警告: この引用は必ずしも正確ではありません.