Login / Signup
A topological reading of inductive and coinductive definitions in Dependent Type Theory.
Pietro Sabelli
Published in:
CoRR (2024)
Keyphrases
</>
machine learning
general theory
theoretical framework
data sets
artificial intelligence
inductive learning
computational model
spatial relations
functional programs
topological spaces
deductive reasoning
theoretical basis
video sequences
multi agent
multiscale
computer vision
neural network
databases