Văn bản này: The difference λ-calculus: a language for difference categories