Unification of Lambda Calculus and Combinatory Logic

Speaker: Masahiko Sato
Date: 03/10/2019
Time: 16:00 - 17:00

Location: