Normal functors, power series and λ-calculus.

Jean-Yves Girard

Published in: Ann. Pure Appl. Log. (1988)

Keyphrases

power consumption
algebraic structure
optimal solution
real time
machine learning
genetic algorithm
information systems
case study
computational power