Projects per year
| Original language | English |
|---|---|
| Title of host publication | All About Proofs, Proofs for All |
| Publisher | College Publications |
| ISBN (Print) | 978-1-84890-166-7 |
| Publication status | Published - 2015 |
Publication series
| Name | Mathematical Logic and Foundations |
|---|---|
| Publisher | College Publications |
Projects
- 1 Finished
-
Efficient and Natural Proof Systems
Guglielmi, A., Bruscoli, P. & McCusker, G.
Engineering and Physical Sciences Research Council
1/02/13 → 12/05/16
Project: Research council