Computational Adequacy for Substructural Lambda Calculi.

Vladimir Zamdzhiev

Published in: ACT (2020)

Keyphrases

neural network
fixed point
e learning
case study
objective function
data structure
evolutionary algorithm
description logics
fuzzy sets
linear programming
computational power