4 ms·
That's awesome! Any good pointers to interesting articles about that? I found this: http://www.eg.bucknell.edu/~lwittie/research/space04.pdf http://www.eg.buck
by ithkuil 13y ago
That's awesome! Any good pointers to interesting articles about that?
I found this: http://www.eg.bucknell.edu/~lwittie/research/space04.pdf http://www.eg.bucknell.edu/~lwittie/research/space04.pdf
- jallmann 13y agoDon't know of any articles, but there are a number of papers on linear logic and linear type theory. Most are pretty dense, but the first few pages of Wadler's "Linear types can change the world!" give a very readable overview of the area. http://homepages.inf.ed.ac.uk/wadler/papers/linear/linear.ps http://homepages.inf.ed.ac.uk/wadler/papers/linear/linear.ps