CIS 720 - Spring 97
COMPUTATION AND COMPLEXITY
AT HIGHER TYPES
Office: CST 3-004
The course concerns
One of the long-term goals of this work is build the mathematical
tools for specifying and reasoning about the performance
(e.g., run time) of software systems built from modules, classes and
the like. This work is in its very early stages, so the course will
focus on basics.
PREREQUISITES CIS 623 or its equivalent. Some knowledge of
either recursion theory, computational complexity theory, category theory,
programming language semantics, or proof theory is strongly advised.
models of computation and recursion on higher type objects,
recent theories of computational complexity of higher
type functionals, and
applications of these models to semantics of programming languages
and proof theory.