Finitary Higher Inductive Types in the Groupoid Model.

Peter Dybjer Hugo Moeneclaey

Published in: MFPS (2018)

Keyphrases

mathematical model
high level
data analysis
inductive learning
objective function
probability distribution
computational model