The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus.

Beniamino Accattoli

Published in: WoLLIC (2016)

Keyphrases

high level
neural network
information retrieval
high quality
implementation details
formal language
computer algebra