Ulysse Gérard
Ulysse Gérard
Université Paris Diderot
Verified email at irif.fr
Title
Cited by
Cited by
Year
Separating functional computation from relations
U Gérard, D Miller
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
62017
Computing with relations, functions, and bindings
U Gérard
École Polytechnique; Inria Saclay, 2019
12019
Functional programming with λ syntax: a progress report
U Gérard, D Miller
12018
Computation-as-deduction in Abella: work in progress
K Chaudhuri, U Gérard, D Miller
12018
Functional programming with λ-tree syntax: Draft
U Gérard, D Miller
12018
Functional programming with λ-tree syntax
U Gérard, D Miller, G Scherer
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–6