paper

Fixed Type Theorems

arXiv:cs/0502030

Abstract

This submission has been withdrawn at the request of the author.

Fixed Type Theorems · wovepaper