จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Kahrs, Stefan | 2 |
| 2 | Hofmann, Martin | 2 |
| 3 | Plotkin, Gordon | 2 |
| 4 | DAAD (German Academic Exchange Service) | 2 |
| 5 | Stark, Ian | 1 |
| 6 | Hannay, Jo E | 1 |
| 7 | Katsumata, Shin-ya | 1 |
| 8 | Science and Engineering Research Council | 1 |
| 9 | studentship from the University of Edinburgh | 1 |
| 10 | Jay, Barry | 1 |
| 11 | Milner, Robin | 1 |
| 12 | Burstall, Rod | 1 |
| 13 | UK SERC | 1 |
| 14 | CNPq (Brazilian Research Council) | 1 |
| 15 | Tennent, Robert | 1 |
| 16 | Power, John | 1 |
| 17 | Machado, Patricia D L | 1 |
| 18 | Russo , Claudio V | 1 |
| 19 | Lüth , Christoph | 1 |
| 20 | Goguen, Healfdene | 1 |
| 21 | Ghani, Neil | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2548 | 1 |
| 2 | 2544 | 1 |
| 3 | 2543 | 2 |
| 4 | 2541 | 2 |
| 5 | 2538 | 2 |
| 6 | 2525 | 1 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2548 | |
| 1 | A Generalisation of Pre-Logical Predicates and Its Applications |
| ปี พ.ศ. 2544 | |
| 2 | Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus |
| ปี พ.ศ. 2543 | |
| 3 | Lax Logical Relations |
| 4 | Testing from Structured Algebraic Specifications: The Oracle Problem |
| ปี พ.ศ. 2541 | |
| 5 | Types For Modules |
| 6 | Categorical Term Rewriting: Monads and Modularity |
| ปี พ.ศ. 2538 | |
| 7 | Extensional concepts in intensional type theory |
| 8 | Adjoint Rewriting |
| ปี พ.ศ. 2525 | |
| 9 | Semantics, Implementation and Pragmatics of Clear, a Program Specification Language |
