From the π-calculus to flat GHC.

Rubén Monjaraz Julio Mariño

Published in: PPDP (2012)

Keyphrases

real time
formal language
automated deduction
neural network
algebraic structure
computer algebra
sequent calculus
machine learning
multiresolution