Glen T. Whitney

Publication Activity (10 Years)

Years Active: 1994-2012
Publications (10 Years): 0

Top Topics

Top Venues

Logic and Program Semantics

Publications

Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney
A Complete Logical System for the Equality of Recursive Terms for Sets. Logic and Program Semantics (2012)
Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney
The Logic of Recursive Equations. J. Symb. Log. 63 (2) (1998)
Yiannis N. Moschovakis, Glen T. Whitney
Powerdomains, Powerstructures and Fairness. CSL (1994)