Some Remarks on Type Systems for Course-of-value Recursion.

Favio E. Miranda-Perea

Published in: LSFA (2008)

Keyphrases

complex systems
distributed systems
computer systems
computing systems
computer vision
information systems
website
case study
three dimensional
digital libraries
management system
learning systems
retrieval systems
systems require