The involutions-as-principal types/application-as-unification Analogy.

Alberto Ciaffaglione Furio Honsell Marina Lenisa Ivan Scagnetto

Published in: LPAR (2018)

Keyphrases

data sets
machine learning
genetic algorithm
decision making
image processing
database systems
information technology
theorem proving