Login / Signup
A module calculus for Pure Type Systems.
Judicaël Courant
Published in:
J. Funct. Program. (2007)
Keyphrases
</>
distributed systems
management system
data sets
learning algorithm
metadata
knowledge based systems
complex systems