APA (7th ed.) Citation

Andrews, P. B. (1965). A transfinite type theory with type variables.

Chicago Style (17th ed.) Citation

Andrews, Peter B. A Transfinite Type Theory with Type Variables. 1965.

MLA (9th ed.) Citation

Andrews, Peter B. A Transfinite Type Theory with Type Variables. 1965.

Warning: These citations may not always be 100% accurate.