Practical programming with substructural types
Substructural logics remove from classical logic rules for reordering, duplication, or dropping of assumptions. Because propositions in such a logic may no longer be freely copied or ignored, this suggests understanding propositions in substructural logics as representing resources rather than truth...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/d20004906 |