Lendit Conference 2017: Robert De Caux, Logical Glue