W-types in homotopy-type theory - CORRIGENDUM.

Benno van den Berg Ieke Moerdijk

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

multiple types
theoretical framework
information retrieval
data mining
website
information technology
mobile robot
rough sets
computational model
fixed point
general theory