Alvarez-Picallo, M., & Ong, C. (2020). The difference λ-calculus: A language for difference categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Чикаго-гийн эшлэл (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.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.