New Semantical Insights Into Call-by-Value λ-Calculus.

Giulio Manzonetto Michele Pagani Simona Ronchi Della Rocca

Published in: Fundam. Informaticae (2019)

Keyphrases

data mining
databases
neural network
information retrieval
social networks
decision making
knowledge base
case study