James Wallbridge

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Cut Elimination

Proof Theoretic

Power Transformers

Top Venues

Math. Struct. Comput. Sci.

Publications

James Clift, Daniel Murfet, James Wallbridge
Geometry of Program Synthesis. CoRR (2021)
James Wallbridge
Jets and differential linear logic. Math. Struct. Comput. Sci. 30 (8) (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 Wallbridge
Jets and differential linear logic. CoRR (2018)