A simple sequent calculus for nominal logic

Research output: Contribution to journal › Article › peer-review

1 results

Finished
Nominal abstract syntax: automata, mechanised metatheory, and type theory
Cheney, J. (Principal Investigator)
Other (Learned Society)
1/10/08 → 15/12/16
Project: Research