C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
: 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