Hugh P. Steele

According to our database, Hugh P. Steele authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Constructing Fully Complete Models of Multiplicative Linear Logic.

Andrea Schalk, Hugh P. Steele

Log. Methods Comput. Sci., 2015