Login / Signup
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.
Horatiu Cirstea
Luigi Liquori
Benjamin Wack
Published in:
TYPES (2003)
Keyphrases
</>
learning systems
complex systems
first order logic
information systems
finite state machines
real numbers