Applications of a natural deduction set theory
The goal of this thesis is to demonstrate the versatility and suitability of a logic and set theory NaDSet for providing logical foundations to disparate areas of mathematics and computer science. Category theory has been chosen as the area of mathematics, while programming language semantics and se...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
University of British Columbia
2011
|
| Online Access: | http://hdl.handle.net/2429/32181 |