Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications.

Rémy Cerda Lionel Vaux Auclair

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

simulation model
finite state
neural network
simulation study
discrete event simulation
data sets
data mining
e learning
data analysis
markov chain
reduction method