Fingerprint
Dive into the research topics of 'Multi-Type Algebraic Proof Theory'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Multi-Type Algebraic Proof Theory
Fey Liang
Research output: Thesis › Dissertation (TU Delft)
154
Downloads
(Pure)