Wie können wir das Verständnis von kontinuierlichen Gittern in der Informatik verfeinern? Diese Arbeit untersucht kontinuierliche Gitter anhand von Abbildungen, die alle Suprema erhalten, anstatt nur gerichtete. Sie zeigt, wie sich herausstellt, dass dies *-autonom und maximal ist. Die Studie präsentiert die Theorie mit extremer Ausführlichkeit. Durch die Einführung von FS-Gittern befasst sich die Studie mit den Komplexitäten von Distributivität und Algebraizität innerhalb dieser Strukturen. FS-Gitter werden in Gegenwart von Distributivität und Algebraizität untersucht. Diese Untersuchungen offenbaren ein reiches Spektrum an Verbindungen zur klassischen Domain Theory, zur vollständigen Distributivität und zur Topologie. Letztendlich stellt die Arbeit Verbindungen zu Modellen der linearen Logik her, wodurch die theoretischen Grundlagen der Informatik gefestigt und der Weg für neue Rechenparadigmen geebnet wird.
Diese Arbeit, die in Mathematical Structures in Computer Science erscheint, trägt direkt zur Erforschung mathematischer Grundlagen bei, die für das Rechnen relevant sind. Durch die Untersuchung linearer Typen und ihrer Beziehung zu kontinuierlichen Gittern trägt sie zur Diskussion des Journals über formale Strukturen bei, die der Berechnung zugrunde liegen.