Login / Signup
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