log in  |  register  |  feedback?  |  help  |  web accessibility
Curry Howard in Coq
Robert Rand
IRB 5237
Tuesday, October 8, 2019, 11:00 am-12:00 pm
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Weekly PL reading group discussing the topic Curry Howard proofs in Coq. Discussion will be led by Robert Rand.

This talk is organized by Sankha Narayan Guria