Research Interests of Eric G. Wagner
Semantics of Programming Languages,
Algebraic Development Techniques (Abstract Data Types)
Algebraic and Category Theoretic Applications in Computer Science
Uniformly Reflexive Structures (U.R.S.) were the subject of my
1963 doctoral disseration at Columbia University. These pages provide
a short introduction to U.R.S. together with an implementation of a particular
U.R.S. that provides a simple example of a functional programming language.
The implementation is in the form of a "calculator" (written in Java Script)
that evaluates U.R.S. expressions.
This material is still under development. It will include material
in the form of interactive html files. We are currently developing material
on algebra at the high school level (U.S. high school level) and on
algebra for computer scientists at the graduate level.
A collection of notes on various mathematical and computer science
topics. The material is in the form of postscript files (.ps