APA (7th ed.) Citation

Singleton, V. (2012). A first course in type theory [. Learning Press.

Chicago Style (17th ed.) Citation

Singleton, Velva. A First Course in Type Theory [. New York: Learning Press, 2012.

MLA (9th ed.) Citation

Singleton, Velva. A First Course in Type Theory [. Learning Press, 2012.