Ionescu, C., Jansson, P., & Botta, N. (2018). Type theory as a framework for modelling and programming. Springer Nature.
芝加哥风格引文Ionescu, C., P. Jansson, 与 N. Botta. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
MLA引文Ionescu, C., et al. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
警告：这些引文格式不一定是100％准确.