Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.LO2021
A Note on Confluence in Typed Probabilistic Lambda Calculi
Rafael Romero, Alejandro Díaz-Caro
On the topic of probabilistic rewriting, there are several works studying both termination and confluence of different systems. While working with a lambda calculus modelling quant…
cs.CG2018
Adaptive Computation of the Discrete Fréchet Distance
Jérémy Barbay
The discrete Fr{é}chet distance is a measure of similarity between point sequences which permits to abstract differences of resolution between the two curves, approximating the ori…