Automation for Dependently Typed Functional Programming

Sean Wilson, Jacques Fleuriot, Alan Smaill

School of Informatics

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

1 results

Filter

Finished
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
EPSRC
1/04/07 → 31/03/11
Project: Research