|||Zakaria Chihani, Dale Miller, and Fabien Renaud. A semantic framework for proof evidence. J. of Automated Reasoning, 59:287--330, 2017. [ bib | DOI ]|
|||Ulysse Gérard and Dale Miller. Separating functional computation from relations. In Valentin Goranko and Mads Dam, editors, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), volume 82 of LIPIcs, pages 23:1--23:17, 2017. [ bib | DOI ]|
|||Quentin Heath and Dale Miller. A proof theory for model checking: An extended abstract. In Iliano Cervesato and Maribel Fernández, editors, Proceedings Fourth International Workshop on Linearity (LINEARITY 2016), volume 238 of EPTCS, January 2017. [ bib | DOI ]|
|||Dale Miller. Proof checking and logic programming. Formal Aspects of Computing, 29(3):383--399, 2017. [ bib | DOI | http | .pdf ]|
This file was generated by bibtex2html 1.98.