Philip Johnson-Freyd
Orcid: 0000-0001-5973-0671
According to our database1,
Philip Johnson-Freyd
authored at least 8 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2020
J. Log. Algebraic Methods Program., 2020
2019
Proceedings of the Proceedings Applied Category Theory 2019, 2019
2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
2017
2016
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
2015
Proceedings of the Workshop on Continuations, 2015
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015