MARIUS BULIGA
(home)
(recent articles)
(chemlambda / graphic lambda calculus / em / pure see)
(small graph rewrites systems)
(sub-riemannian geometry)
(convex analysis)
(variational methods)