[FOM] Object-Oriented Formal Mathematical Languages

Brian Postow bpostow at union.edu
Wed Apr 28 11:34:14 EDT 2004

Victor Makarov spake:
> Is anyone aware of current work in this direction (design of object-oriented 
> formal mathematical languages)?

I guess I'm not entirely sure what you are looking for here. There are
several object oriented models at the level of the lambda
calculus. The $\varsigma$ calculus by Cardelli and Abadi and the
$\lambda \&$ calculus by Castagna are two good places to start.  I
wrote a survey article a few years ago that I'm still half heartedly
trying to find a place to publish if you are interested.

Brian Postow

More information about the FOM mailing list