Dialectica Categories for the Lambek Calculus.

Valeria de Paiva Harley Eades III

Published in: LFCS (2018)

Keyphrases

machine learning
natural deduction
database
real time
neural network
knowledge base
image processing
object recognition
evolutionary algorithm