Jonathan Sterling

Eine Erkundung der Rolle der Typentheorie bei der Strukturierung mathematischer und rechnerischer Beziehungen.

Entdecke die Bedeutung von kostenbewusstem Programmieren zur Optimierung des Ressourcenmanagements.

Ein Blick auf reflexive Grafiken und ihre Anwendungen durch Linsen.