Back to Results
First PageMeta Content



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

Document Date: 2018-07-24 04:05:05


Open Document

File Size: 177,49 KB

Share Result on Facebook
UPDATE