Typed Non-determinism in Functional and Concurrent Calculi.

Bas van den Heuvel Joseph W. N. Paulus Daniele Nantes-Sobrinho Jorge A. Pérez

Published in: APLAS (2023)

Keyphrases

higher order
functional analysis
data sets
search algorithm
real time
neural network
information retrieval
decision trees
database systems
sequent calculi