Encoding Dependently-Typed Constructions into Simple Type Theory.

Anthony Bordg Adrián Doña Mateo

Published in: CPP (2023)

Keyphrases

computational model
database
data structure
data sets
neural network
artificial intelligence
image processing
case study
higher order
theoretical framework
theoretical basis
general theory
highly reliable
simple examples