Theses
2018
1.
Amin Timany.
Contributions in Programming Languages Theory: Logical Relations and Type Theory.
PhD dissertation at KU Leuven,
May 2018.
- Links:
.pdf
Lirias
[slides] .pdf
2013
2.
Amin Timany.
Symmetry Reduction for Reo and Constraint Automata.
MSc thesis at TU Dresden,
May 2013.
- Links:
.pdf
[slides] .pdf