Proofs of the normalization and Church-Rosser theorems for the typed λ-calculus. - Garrel Pottinger (Notre Dame J. Formal Log., 1978)

A new classical relevance logic. - Garrel Pottinger (J. Philos. Log., 1979)

The Church-Rosser theorem for the typed λ-calculus with surjective pairing. - Garrel Pottinger (Notre Dame J. Formal Log., 1981)

Intension, designation, and extension. - Garrel Pottinger (Notre Dame J. Formal Log., 1985)

The Romulus Proof Checker. - Carl Eichenlaub; Bruce Esrig; James Hook; Carl Klapper; Garrel Pottinger (CADE, 1990)

A Classical Type Theory with Transfinite Types. - Garrel Pottinger (TPHOLs, 1992)

Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military. - Donald MacKenzie; Garrel Pottinger (IEEE Ann. Hist. Comput., 1997)