Technical Reports
These work are published as technical reports.2019
1.
Willem Penninckx, Amin Timany, and Bart Jacobs.
Abstract I/O Specification.
In
CoRR abs/1901.10541 (2019),
January 2019.
- Links:
arXiv
2017
2.
Amin Timany and Matthieu Sozeau.
Consistency of the Predicative Calculus of Cumulative Inductive Construction (pCuIC).
Hosted on
arXiv and HAL,
October 2017.
2016
3.
Amin Timany and Bart Jacobs.
Category Theory in Coq 8.5: Extended Version.
Hosted on
KU Leuven Library (lirias),
April 2016.
- Links:
Lirias
2014
4.
Amin Timany and Bart Jacobs.
A Local Shape Analysis Based on Separation Logic: Detailed Presentation and Soundness Proof.
Hosted on
KU Leuven Library (lirias),
May 2014.
- Links:
Lirias