Login / Signup
Expansion Postponement for Normalising Pure Type Systems.
Erik Poll
Published in:
J. Funct. Program. (1998)
Keyphrases
</>
distributed systems
real time
complex systems
real world
neural network
intelligent systems
building blocks
systems require