nLab Krzysztof Bar

Selected entries

Selected entries

On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:

category: people

Last revised on November 11, 2022 at 08:55:38. See the history of this page for a list of all contributions to it.