Unpublished Workshop Presentations
These works are presented at international workshops after peer review but they are not published.2025
1.
Sergei Stepanenko and Amin Timany.
Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It.
In
TYPES'25,
May 2025.
- Links:
.pdf
2020
2.
Koen Jacobs, Amin Timany, and Dominique Devriese.
Fully Abstract from Static to Gradual.
In
WGT'20,
January 2020.
- Links:
.pdf
2017
3.
Amin Timany, Matthieu Sozeau, and Bart Jacobs.
Cumulative inductive types in Coq.
In
TYPES'17,
May 2017.
- Links:
.pdf
[slides] .pdf
4.
Amin Timany, Robbert Krebbers, and Lars Birkedal.
Logical Relations in Iris.
In
CoqPL'17,
January 2017.
- Links:
.pdf
[slides] .pdf
2016
5.
Amin Timany and Bart Jacobs.
The Category-theoretic Solution of Recursive Ultra-metric Space Equations.
In
CoqPL'16,
January 2016.
- Links:
.pdf
Rocq Development
[slides] .pdf
2015
6.
Amin Timany and Bart Jacobs.
Category Theory in Coq 8.5.
In
Coq Workshop 2015,
June 2015.
- Links:
arXiv
[slides] .pdf