Programm für das vierundzwanzigste Treffen am 23. März 2017

Uwap wird eine Einführung in lineare Logik und lineare Typsysteme geben. Klassische und intuitionistische Logik verfolgt das Ziel schlussfolgerungen zu ermöglichen. Was aber nun, wenn ich nicht eine Wahrheit A und eine Wahrheit B habe, sondern eine Ressource A und eine Ressource B? Wir werden sehen, dass wir so an unendlich Bonbons kommen können und wie uns Lollis dabei helfen es besser zu machen.

Daniel stellt Rust vor.