Ian Orton
According to our database1,
Ian Orton
authored at least 5 papers
between 2017 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
0
1
2
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
2017
Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017