APA (7th ed.) Citation

Andrews, P. A transfinite type theory with type variables. North-Holand Publishing Company.

Chicago Style (17th ed.) Citation

Andrews, P.B. A Transfinite Type Theory with Type Variables. Amsterdam: North-Holand Publishing Company.

MLA (9th ed.) Citation

Andrews, P.B. A Transfinite Type Theory with Type Variables. North-Holand Publishing Company.

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