Login / Signup

Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec.

Manfred Schmidt-SchaußDavid SabelElena Machkasova
Published in: Inf. Process. Lett. (2011)
Keyphrases
  • information systems
  • sufficient conditions
  • simulation model
  • neural network
  • data mining
  • website
  • programming language
  • mathematical models
  • simulation environment
  • simulation models