A Two-Level Linear Dependent Type Theory.

Qiancheng Fu Hongwei Xi

Published in: CoRR (2023)

Keyphrases

theoretical framework
web services
real time
information retrieval
artificial intelligence
search engine
computer vision
database systems
video sequences
computer science
information technology
information theory
general theory