James Clift

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

2020
2021
0
1
2
3
4
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Geometry of Program Synthesis.
CoRR, 2021

2020
Cofree coalgebras and differential linear logic.
Math. Struct. Comput. Sci., 2020

Encodings of Turing machines in linear logic.
Math. Struct. Comput. Sci., 2020

Logic and the 2-Simplicial Transformer.
Proceedings of the 8th International Conference on Learning Representations, 2020


  Loading...