Jonathan Payne

According to our database, Jonathan Payne authored at least 3 papers between 2012 and 2015.

Collaborative distances:

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

2015

Extensionalizing Intensional Second-Order Logic.

Jonathan Payne

Notre Dame J. Formal Log., 2015

Natural Deduction for Modal Logic with a Backtracking Operator.

Jonathan Payne

J. Philos. Log., 2015

2012

Improving community health worker performance through automated SMS.

Brian DeRenzi, Benjamin E. Birnbaum, Leah Findlater, Joachim Mangilima, Jonathan Payne, Tapan S. Parikh, Gaetano Borriello, Neal Lesh

Proceedings of the Fifth International Conference on Information and Communication Technologies and Development, 2012