TYPES Workshop Curry-Howard Implementation Techniques - Connecting Humans And Theorem provers CHIT-CHAT

Dec 19, 2006 · Nijmegen, Netherlands

TYPES Workshop Curry-Howard Implementation Techniques - Connecting Humans And Theorem provers CHIT-CHAT

Event organizers

Are you organizing TYPES Workshop Curry-Howard Implementation Techniques - Connecting Humans And Theorem provers CHIT-CHAT?

Claim the event and start manage its content.

I am the organizer
Social
Rating

based on 0 reviews