zbMATH — the first resource for mathematics

Herbelin, Hugo

Compute Distance To:
Author ID: herbelin.hugo
Published as: Herbelin, H.; Herbelin, Hugo
Homepage: http://pauillac.inria.fr/~herbelin/
External Links: MGP · dblp
Member of Collective: the-univalent-foundations-program.
Documents Indexed: 29 Publications since 1989, including 2 Books

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription