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