Login / Signup
A Categorical Model for the Lambda Calculus with Constructors
Barbara Petit
Published in:
CoRR (2012)
Keyphrases
</>
expert systems
database
open source
normal form
dynamic systems