Constructing Unprejudiced Extensional Type Theories with Choices via Modalities.

Liron Cohen Vincent Rahli

Published in: FSCD (2022)

Keyphrases

theoretical framework
data sets
learning algorithm
case study
similarity measure
video sequences
multi modal