(Somewhat) Functional Journal Club

Date

Tuesday, March 16, 2021 - 16:00 to 17:00

Location

L4E48

Description

In this fourth meeting, Seva Nikulin will talk about "Propositions as types".

This Journal Club is for people interested in Functional Programming, Category Theory and related fields. Maybe you know a some Haskell, maybe you’ve heard of monads or the Yoneda Lemma, or maybe you’d like to learn about these things. We will meet every two weeks (approximately) on Tuesdays from 4 to 5PM. Registration not required.

The session will be visible on Zoom.

You can also join us Category Theorists nerds on Slack.

All-OIST Category:

Seminar

Subscribe to the OIST Calendar: Right-click to download, then open in your calendar application.