Tyler Gibson

According to our database, Tyler Gibson authored at least 1 paper in 2004.

Collaborative distances:

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

2004

The Inverse Method for the Logic of Bunched Implications.

Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park

Proceedings of the Logic for Programming, 2004