| Unifying Themes |
|
|
|
|
|
|
|
| • | Problems
motivated by the practice of software |
|||||
| development |
||||||
| • | Logic
and type theory as indispensible tools for |
|||||
| their
solution |
||||||
| • | Theory
and system building go hand-in-hand |
|||||
