Quotients of Bounded Natural Functors.

Basil Fürer Andreas Lochbihler Joshua Schneider Dmitriy Traytel

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

data sets
real time
real world
special case
man made