prev slide

prev

contents

next

next slide

Encoding CIC in XML: terms and objects

In CIC we have (lambda)terms, objects, sections.