จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Plotkin, Gordon | 10 |
| 2 | Anderson, Stuart | 3 |
| 3 | Engineering and Physical Sciences Research Council (EPSRC) | 2 |
| 4 | Fiore, Marcelo P | 2 |
| 5 | British Council | 1 |
| 6 | Takeyama, Makoto | 1 |
| 7 | Jay, Barry | 1 |
| 8 | TC scholarship (British Council) | 1 |
| 9 | Pretnar, Matija | 1 |
| 10 | Burstall, Rod | 1 |
| 11 | Chen, Liang | 1 |
| 12 | EU TMR Marie Curie Research Training Grant ERBFMBICT982906 | 1 |
| 13 | Sannella, Donald | 1 |
| 14 | Hyland, Martin | 1 |
| 15 | Tennent, Robert | 1 |
| 16 | Führmann, Carsten | 1 |
| 17 | Denney, Ewen WKC | 1 |
| 18 | Thielecke , Hayo | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2553 | 1 |
| 2 | 2546 | 3 |
| 3 | 2545 | 3 |
| 4 | 2543 | 2 |
| 5 | 2542 | 1 |
| 6 | 2540 | 1 |
| 7 | 2538 | 1 |
| 8 | 2537 | 1 |
| 9 | 2536 | 1 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2553 | |
| 1 | Logic and handling of algebraic effects |
| ปี พ.ศ. 2546 | |
| 2 | Semantics for algebraic operations |
| 3 | Combining computational effects: commutativity and sum |
| 4 | Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) |
| ปี พ.ศ. 2545 | |
| 5 | Adequacy for Algebraic Effects |
| 6 | Notions of Computation Determine Monads |
| 7 | Computational effects and operations: an overview |
| ปี พ.ศ. 2543 | |
| 8 | Lax Logical Relations |
| 9 | The structure of call-by-value |
| ปี พ.ศ. 2542 | |
| 10 | A Theory of Program Refinement |
| ปี พ.ศ. 2540 | |
| 11 | Categorical Structure of Continuation Passing Style |
| ปี พ.ศ. 2538 | |
| 12 | Universal Structure and a Categorical Framework for Type Theory |
| ปี พ.ศ. 2537 | |
| 13 | Axiomatic Domain Theory in Categories of Partial Maps |
| ปี พ.ศ. 2536 | |
| 14 | Timed Processes: Models, Axioms and Decidability |
