Lambda Calculus: Syntax, Semantics, Applications

            [papers]
 

Foundations, especially of Informatics

            [papers]
 

Type Systems for OO Languages

            [papers]
 

Logical Frameworks and Formal Verification of Proofs, Programs, and Systems

            [papers]
 

 Semantics of Programming Languages and Program Logics

            [papers]
 

Mathematical Structures for Semantics:  Hypersets, CPO's, metric spaces, etc.

            [papers]