Folgen
Ulysse Gérard
Ulysse Gérard
Université Paris Diderot
Bestätigte E-Mail-Adresse bei irif.fr
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6