Mario Alvarez-Picallo: The difference lambda-calculus: a language for difference categories (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Authors: Mario Alvarez-Picallo and C.-H. Luke Ong

Aired: 2020-02-04 14:00:00 CEST (UTC+2)