Login / Signup

Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.

Horatiu CirsteaLuigi LiquoriBenjamin Wack
Published in: TYPES (2003)
Keyphrases
  • learning systems
  • complex systems
  • first order logic
  • information systems
  • finite state machines
  • real numbers