Mario Román

Search

Search IconIcon to open search

Notation for spans

Last updated Sep 8, 2023

notation-for-spans

Tags: Finite limit, Span, Type theory References