| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
Constructive math and type theory, with a Coq demo
1:00 pm
Constructive math and type theor...
@ Keller Hall 314
Jul 9 @ 1:00 pm – Jul 9 @ 2:00 pm
Speaker: William DeMeo (Iowa State) Title: Some constructive math and type theory, with a Coq demo. Abstract: I will present a few basic ideas from constructive mathematics and type theory, and give a very basic[...]
|
||||||