Seguir
Ulysse Gérard
Ulysse Gérard
Université Paris Diderot
Dirección de correo verificada de irif.fr
Título
Citado por
Citado por
Año
Separating functional computation from relations
U Gérard, D Miller
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
102017
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
32018
Computing with relations, functions, and bindings
U Gérard
Institut polytechnique de Paris, 2019
12019
Functional programming with λ syntax: a progress report
U Gérard, D Miller
13th international Workshop on Logical Frameworks and Meta-Languages: Theory …, 2018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6