Groups
Sign in
Groups
Chalmers course on Semantics in Calculus of Constructions
Conversations
About
Send feedback
Help
Chalmers course on Semantics in Calculus of Constructions
Contact owners and managers
chalmers-cs-semantics-in-coq@googlegroups.com
Description
This is a one week course given by Yves Bertot on June 4 - 8, at Chalmers, Sweden
Language
English (United States)
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post
Invited users
can join group