Login / Signup
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec.
Manfred Schmidt-Schauß
David Sabel
Elena 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