Endnu en dag i Sverige

2013-11-11 08.39.29

Når man er dansker, er det svært ikke at bemærke dette skilt på vejen ud til universitetet i Uppsala. Og ja, de mener det, SGU.

I dag opdagede jeg endnu engang hvor meget en passende samtale med den rette person kan føre til. I et par måneder har jeg med varierende held forsøgt at komme tættere på en formulering af det, der hedder binære sessionstyper for psi-kalkyler. I Aalborg er der ingen at tale med om dette emne. I dag præsenterede jeg så mine ufuldstændige ideer for Johannes Borgström, og i løbet af de to timer, der fulgte, kom vi en hel del nærmere til at have en første forståelse af hvordan sådan en formulering kan være. Det var en god oplevelse. Senere på eftermiddagen gik det tilbage til hotellejligheden på den ramponerede Ultra-cykel og til en faktisk ganske udmærket aftensmad tilberedt efter de forhåndenværende ingrediensers princip.