Principal Types as Partial Involutions.

Furio Honsell Marina Lenisa Ivan Scagnetto

Published in: CoRR (2024)

Keyphrases

neural network
machine learning
information systems
image segmentation
computational complexity
artificial neural networks