Categories with Families: Unityped, Simply Typed, and Dependently Typed.

Simon Castellan Pierre Clairambault Peter Dybjer

Published in: CoRR (2019)

Keyphrases

higher order
lambda calculus
video sequences
data sets
information retrieval
real time
neural network
case study
three dimensional
reinforcement learning
expert systems