APA (7th ed.) Citation

Nipkow, T., & Klein, G. (2014). Types. Concrete Semantics, 115-142. https://doi.org/10.1007/978-3-319-10542-0_9

Chicago Style (17th ed.) Citation

Nipkow, Tobias, and Gerwin Klein. "Types." Concrete Semantics 2014: 115-142. https://doi.org/10.1007/978-3-319-10542-0_9.

MLA (9th ed.) Citation

Nipkow, Tobias, and Gerwin Klein. "Types." Concrete Semantics, 2014, pp. 115-142, https://doi.org/10.1007/978-3-319-10542-0_9.