Several Types of Types in Programming Languages [chapter]

Simone Martini
2016 IFIP Advances in Information and Communication Technology  
The concept of types as we use it today has very little [ to do ] with how types where perceived by Russell or Church . For them types were a restriction mechanism .
doi:10.1007/978-3-319-47286-7_15 fatcat:d4rsg27purbqngr5kcfhlnvl5y