Glen T. Whitney

According to our database, Glen T. Whitney authored at least 3 papers between 1994 and 2012.

Collaborative distances:

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

2012

A Complete Logical System for the Equality of Recursive Terms for Sets.

Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney

Proceedings of the Logic and Program Semantics, 2012

1998

The Logic of Recursive Equations.

Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney

J. Symb. Log., 1998

1994

Powerdomains, Powerstructures and Fairness.

Yiannis N. Moschovakis, Glen T. Whitney

Proceedings of the Computer Science Logic, 8th International Workshop, 1994