: a Family of Extensional Type Theories with Effectful Realizers of Continuity.

Liron Cohen Vincent Rahli

Published in: CoRR (2023)

Keyphrases

theoretical framework
special case
social networks
image segmentation
computational complexity
evolutionary algorithm
multiresolution
computational models