Nominal abstract syntax: automata, mechanised metatheory, and type theory

Cheney, James (Principal Investigator)

School of Informatics

Status	Finished
Effective start/end date	1/10/08 → 15/12/16

Funding

Other (Learned Society): £834,178.00

αCheck: a mechanized metatheory model-checker
Cheney, J. & Momigliano, A., May 2017, In: Theory and Practice of Logic Programming. 17, 3, p. 311-352 48 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
A simple sequent calculus for nominal logic
Cheney, J., Aug 2016, In: Journal of Logic and Computation. 26, 4, p. 699-726 28 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Advances in Property-Based Testing for αProlog
Cheney, J., Momigliano, A. & Pessina, M., Jun 2016, Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Springer, p. 37-56 20 p. (Lecture Notes in Computer Science; vol. 9762).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File