The Formal Theory of Monads, Univalently.

Niels van der Weide

Published in: FSCD (2023)

Keyphrases

formal theory
belief update
commonsense reasoning
spatial reasoning
mathematical models
computer vision
experimental data
mathematical model
object recognition
feature vectors
description logics