Ionescu, C., Jansson, P., & Botta, N. (2018). Type theory as a framework for modelling and programming. Springer Nature.
Lua i Stíl Chicago (17ú heag.)Ionescu, C., P. Jansson, agus N. Botta. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
Lua MLA (9ú heag.)Ionescu, C., et al. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.