Mitchell Riley

According to our database¹, Mitchell Riley authored at least 3 papers between 2017 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

A Type Theory with a Tiny Object.

[BibT_eX]

[DOI]

Mitchell Riley

CoRR, 2024

2021

Identification of Images of COVID-19 from Chest X-rays Using Deep Learning: Comparing COGNEX VisionPro Deep Learning 1.0™ Software with Open Source Convolutional Neural Networks.

[BibT_eX]

[DOI]

SN Comput. Sci., 2021

2017

A Fibrational Framework for Substructural and Modal Logics.

[BibT_eX]

[DOI]

Daniel R. Licata

Michael Shulman

Mitchell Riley

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Mitchell Riley

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...