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