Linear numeral systems Ian Mackie Abstract We investigate numeral systems in the lambda calculus; specifically in the linear lambda calculus where terms cannot be copied or erased. Our interest is threefold: representing

First Page		Document Content
Date: 2018-07-24 04:05:05		Linear numeral systems Ian Mackie Abstract We investigate numeral systems in the lambda calculus; specifically in the linear lambda calculus where terms cannot be copied or erased. Our interest is threefold: representing Add to Reading List Source URL: www.ianmackie.com Download Document from Source Website File Size: 177,49 KB Share Document on Facebook