Penn Arts & Sciences Logo

Professor of Mathematics Emeritus

4N65 DRL

Research Interests

Programming Semantics Categorical Algebra and Geometric Logic, Topology and Knot Theory.