Ionescu, C., Jansson, P., & Botta, N. (2018). Type theory as a framework for modelling and programming. Springer Nature.
Cytowanie według stylu Chicago (wyd. 17)Ionescu, C., P. Jansson, i N. Botta. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
Cytowanie według stylu MLA (wyd. 9)Ionescu, C., et al. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..