Garrel Pottinger

According to our database, Garrel Pottinger authored at least 7 papers between 1978 and 1997.

Collaborative distances:

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

1997

Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military.

Donald MacKenzie, Garrel Pottinger

IEEE Ann. Hist. Comput., 1997

1992

A Classical Type Theory with Transfinite Types.

Garrel Pottinger

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1990

The Romulus Proof Checker.

Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger

Proceedings of the 10th International Conference on Automated Deduction, 1990

1985

Intension, designation, and extension.

Garrel Pottinger

Notre Dame J. Formal Log., 1985

1981

The Church-Rosser theorem for the typed λ-calculus with surjective pairing.

Garrel Pottinger

Notre Dame J. Formal Log., 1981

1979

A new classical relevance logic.

Garrel Pottinger

J. Philos. Log., 1979

1978

Proofs of the normalization and Church-Rosser theorems for the typed λ-calculus.

Garrel Pottinger

Notre Dame J. Formal Log., 1978