A Realizability Model for Type Theory |
Keiko Nakata |
2014/07/07 |
Generate & Check Method in CafeOBJ Revised |
Kokichi Futatsugi |
2014/07/03 |
Bi-Intuitionistic Modal Logic and Hypergraphs |
Dr. John Stell |
2014/06/27 |
Point-free foundations of Mathematics |
Dr. Marco Benini |
2014/05/22 |
40 Years of Formal Methods Some obstacles and some possibilities |
Dines Bjorner |
2014/04/18 |
Extracting programs from proofs |
Prof. Dr. Helmut Schwichtenberg |
2014/03/07 |
A theory of computable functionals |
Prof. Dr. Helmut Schwichtenberg |
2014/03/06 |
Computing with partial continuous functionals |
Prof. Dr. Helmut Schwichtenberg |
2014/03/05 |
Bounded variable logic, parameterized logarithmic space, and Savitch's theorem |
Yijia Chen |
2014/01/23 |
Parity Games and Resolution |
Arnold Beckmann |
2014/01/23 |