Login / Signup
On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants.
Federico Olimpieri
Lionel Vaux Auclair
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
co occurrence
three dimensional
neural network
graph structure
bayesian networks
control system
random walk
equivalence relation