Mario Román

Search

Search IconIcon to open search

Notation for spans

Last updated Apr 23, 2024

notation-for-spans

Tags: Finite limit, Span, Type theory References