Chase Ford
Onderzoeker
- Naam
- Dr.ing. M.C. Ford
- Telefoon
- +31 71 527 2727
- m.c.ford@liacs.leidenuniv.nl
- ORCID iD
- 0000-0003-3892-5917
Onderzoeker
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- Ford M.C. (6 juli 2023), Presentations of Graded Coalgebraic Semantics (Dissertatie. Department of Computer Science, Chair of Theoretical Computer Science, Engineering, Friedrich-Alexander-Universität Erlangen-Nürnberg). Erlangen, Germany: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). Promotor(en): Schröder L.
- Ford C., Milius S., Schröder L., Beohar H. & König B. (2022), Graded Monads and Behavioural Equivalence Games. Baier C. (red.), Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. 37th Annual ACM/IEEE Symposium on Logic in Computer Science 2 augustus 2022 - 5 augustus 2022. New York, NY, USA: Association for Computing Machinery. 61:1--61:13.
- Adámek J., Ford C., Milius S. & Schröder L. (2021), Finitary monads on the category of posets, Mathematical Structures in Computer Science 31(7): 799-821.
- Ford C., Milius S. & Schröder L. (2021), Monads on categories of relational structures. Gadducci F. & Silva A. (red.), 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). 9th Conference on Algebra and Coalgebra in Computer Science (CALCO) 31 augustus 2021 - 3 september 2021. Leibniz International Proceedings in Informatics (LIPICS) nr. 211. Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. 14:1--14:17.
- Ford C., Milius S. & Schröder L. (2021), Behavioural preorders via graded monads. Libkin L. (red.), Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 29 juni 2021 - 2 juli 2021. New York, NY, USA: Association for Computing Machinery. 12:1--12:13.