David Jaz Myers

According to our database, David Jaz Myers authored at least 2 papers between 2019 and 2020.

Collaborative distances:

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

2020

Behavioral Mereology: A Modal Logic for Passing Constraints.

Brendan Fong, David Jaz Myers, David I. Spivak

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

2019

Finding Intruder Knowledge with Cap-Matching.

Erin Hanna, Christopher Lynch, David Jaz Myers, Corey Richardson

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019