James Clift

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Cut Elimination

Proof Theoretic

Top Venues

Math. Struct. Comput. Sci.

Publications

James Clift, Daniel Murfet, James Wallbridge
Geometry of Program Synthesis. CoRR (2021)
James Clift, Daniel Murfet
Cofree coalgebras and differential linear logic. Math. Struct. Comput. Sci. 30 (4) (2020)
James Clift, Daniel Murfet
Encodings of Turing machines in linear logic. Math. Struct. Comput. Sci. 30 (4) (2020)
James Clift, Dmitry Doryn, Daniel Murfet, James Wallbridge
Logic and the 2-Simplicial Transformer. ICLR (2020)
James Clift, Dmitry Doryn, Daniel Murfet, James Wallbridge
Logic and the 2-Simplicial Transformer. CoRR (2019)
James Clift, Daniel Murfet
Cofree coalgebras and differential linear logic. CoRR (2017)