William S. Hatcher

According to our database, William S. Hatcher authored at least 9 papers between 1966 and 1991.

Collaborative distances:

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

1991

Pairings on Lambda Algebras.

William S. Hatcher, Marcel Tonga

Math. Log. Q., 1991

1986

Lambda-Algebras and <i>C</i>-Monoids.

William S. Hatcher, Philip J. Scott

Math. Log. Q., 1986

1983

On the Order Structure of the Hyperreal Line.

William S. Hatcher, Claude Laflamme

Math. Log. Q., 1983

1981

Complexity Bounds on Proofs.

William S. Hatcher, Bernard R. Hodgson

J. Symb. Log., 1981

1978

A Language for Type-Free Algebra.

William S. Hatcher

Math. Log. Q., 1978

1975

Categorical languages for algebraic structures.

William S. Hatcher, A. Shafaat

Math. Log. Q., 1975

A logical framework for large file information handling.

G. Coray, William S. Hatcher

Inf. Sci., 1975

1972

Foundations as a branch of mathematics.

William S. Hatcher

J. Philos. Log., 1972

1966

Logical Truth and Logical Implication.

William S. Hatcher

J. Symb. Log., 1966