<--- Back to Details
First PageDocument 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

Similar Documents