Email Gateway (Aug 19 2022 at 10:22): Email Gateway (Aug 19 2022 at 10:22):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Are there any existing applications of this theory?
It has once (6 years ago) been the elaboration of an innovative idea but
I have almost forgotten about it. In the presence of generated abstract
datatypes, I think it is not even valid any longer.
At least I would suggest to move it to ex/, or drop it entirely.
Comments?
Florian
signature.asc
Last updated: Apr 19 2024 at 01:05 UTC