Logic and the 2-Simplicial Transformer. - James Clift; Dmitry Doryn; Daniel Murfet; James Wallbridge (ICLR, 2020)

Encodings of Turing machines in linear logic. - James Clift; Daniel Murfet (Math. Struct. Comput. Sci., 2020)

Cofree coalgebras and differential linear logic. - James Clift; Daniel Murfet (Math. Struct. Comput. Sci., 2020)

Geometry of Program Synthesis. - James Clift; Daniel Murfet; James Wallbridge (CoRR, 2021)