Login / Signup
On the description of time varying systems in lambda - calculus.
Giorgio Ausiello
Published in:
Lambda-Calculus and Computer Science Theory (1975)
Keyphrases
</>
lambda calculus
data structure
high level
distributed systems
predicate calculus
programming language