Fingerprint
Dive into the research topics of 'Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
Mitsuhiro Okada
Research output: Contribution to journal › Article › peer-review
29
Citations
(Scopus)