Jared Corduan

According to our database, Jared Corduan authored at least 4 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2016

Reverse Mathematics and Ramsey Properties of Partial Orderings.

Jared Corduan, Marcia J. Groszek

Notre Dame J. Formal Log., 2016

2012

On the Indecomposability of ωⁿ.

Jared Corduan, François G. Dorais

Notre Dame J. Formal Log., 2012

2010

Reverse mathematics and Ramsey's property for trees.

Jared Corduan, Marcia J. Groszek, Joseph R. Mileti

J. Symb. Log., 2010