seminar
ocean180, biodiversity, AI, competition
bilateralism, delimited continuation, duality, call-by-name, call-by-value, natural deduction, lambda-calculus