Algebra, Proof Theory, and Application of Adjoint Modal Logics
| When |
2007-09-30 16:27
2007-09-30 16:27
2007-09-30 from 16:27 to 16:27 |
|---|---|
| Where | Mehri's Hall, Math. Department |
| Contact Name | Mehrnoosh Sadrzadeh |
Eighth Seminar on Mathematical Logic and Philosophy of Mathematics
In case you are not using an appropriate plug-in, click here to download the above content…
Constructive Type Theory