| Separating functional computation from relations U Gérard, D Miller 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017 | 10 | 2017 |
| Computation-as-deduction in Abella: work in progress K Chaudhuri, U Gérard, D Miller 13th international Workshop on Logical Frameworks and Meta-Languages: Theory …, 2018 | 3 | 2018 |
| Computing with relations, functions, and bindings U Gérard Institut polytechnique de Paris, 2019 | 1 | 2019 |
| Functional programming with λ syntax: a progress report U Gérard, D Miller 13th international Workshop on Logical Frameworks and Meta-Languages: Theory …, 2018 | 1 | 2018 |
| Functional programming with λ-tree syntax: Draft U Gérard, D Miller | 1 | 2018 |
| Functional programming with λ-tree syntax U Gérard, D Miller, G Scherer Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | | 2019 |
