Table of contents

Categorial Types for OpenMath

Overview

Type Systems for OpenMath

Origins of Categorial Semantics

Categorial Types

Categorial Types and Lambda Calculus

Categorial Semantics for OpenMath: OMA

Categorial Semantics for OpenMath: OMBIND

Categorial Semantics for OpenMath: OMATTR

Categorial Semantics for OpenMath: Type Names

Categorial Type Logic

Categorial Type Logics

Categorial Type Inference Rules

Categorial Type Inference Rules and OpenMath

Categorial Types and OpenMath: Problems Found: Currying

Categorial Types and OpenMath: Binders and Operators

Categorial Types and OpenMath: Type and Range

Categorial Type System: Summary

Conclusions

Bibliography

Author: Andreas Strotmann

E-mail: strotman@cs.fsu.edu

Homepage: http://www.cs.fsu.edu/~strotman/

Presented at the OpenMath Workshop in Nice, March 2002.