[TYPES] 1995 paper now archived, appears to anticipate graded typing, here's the note

[David]

Dear Type Theorists

Between 1989 and 2003 (decades ago!) I was working in your area and published some works which are now largely (I think) unknown.

In retirement from a busy career in other fields I’ve been tidying up some loose ends and thought I’d write a short note connecting that work with more modern developments. Purely for the historical record, but maybe someone has an interest?

The work does, to me, seem to anticipate the work in graded typing? Here is the note:

https://urldefense.com/v3/__https://zenodo.org/records/20739966__;!!IBzWLUs!QpqBI84I6yt6_tugrfNRhZtRjp_YwVLmxZ8EoIcp1viepzfocJk-54kSLrcGG8lFfZjkQq2g8qQT3VlRATPtujdMpULPBjI$ 

and a record of a working paper that never got published (until now):

https://urldefense.com/v3/__https://zenodo.org/records/20738711__;!!IBzWLUs!QpqBI84I6yt6_tugrfNRhZtRjp_YwVLmxZ8EoIcp1viepzfocJk-54kSLrcGG8lFfZjkQq2g8qQT3VlRATPtujdMfwv5jU0$ 

If that’s not particularly easy to access or visible, please let me know.

It’s been great to (very briefly) view the modern work! If there is any follow up, please be gentle as I don’t have the familiarity with modern developments that you all undoubtedly do.

Kind regards

David