MARIUS BULIGA
(home)
(sub-riemannian geometry)
(convex analysis)
(calculus of variations)
(chemlambda / graphic lambda calculus / em / pure see)
(small graph rewrites systems)