Type Theory for Vegetables

type-theory-for-vegetables@googlegroups.com

Description

Seminar and crash course on advanced type theory and formal logic for vegetables.

English

Anyone on the web

can see group

Group members

can view members

Anyone on the web

can view conversations

Group members

can post

Anyone on the web

can ask to join group