A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem.

Sten Agerholm Ilya Beylin Peter Dybjer

Published in: TPHOLs (1996)

Keyphrases

theorem prover
social networks
data sets
databases
neural network
categorical data
von neumann