A Compositional Theory of Krivine's Classical Realisability.

Daichi Hayashi Graham E. Leigh

Published in: WoLLIC (2024)

Keyphrases

special case
multiscale
theoretical basis
genetic algorithm
data structure
theoretical framework
real world
machine learning
social networks
multi agent
computational model
formal theory
quantum mechanics
finite model theory