A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
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