Principal Types as Lambda Nets.

Pietro Di Gianantonio Marina Lenisa

Published in: TYPES (2021)

Keyphrases

case study
real time
neural network
real world
metadata
pattern recognition
evolutionary algorithm
mobile robot
probability distribution
management system