Suivre
Ulysse Gérard
Ulysse Gérard
Université Paris Diderot
Adresse e-mail validée de irif.fr
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–6