James Clift

According to our database¹, James Clift authored at least 4 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

Geometry of Program Synthesis.

[DOI]

CoRR, 2021

2020

Cofree coalgebras and differential linear logic.

[DOI]

Math. Struct. Comput. Sci., 2020

Encodings of Turing machines in linear logic.

[DOI]

Math. Struct. Comput. Sci., 2020

Logic and the 2-Simplicial Transformer.

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020