Technical Reports

These work are published as technical reports.

2019

4. In CoRR abs/1901.10541 (2019) Technical Report
Willem Penninckx, Amin Timany, and Bart Jacobs. Abstract I/O Specification. In CoRR abs/1901.10541 (2019), January 2019.

2017

3. Hosted on arXiv and HAL Technical Report
Amin Timany and Matthieu Sozeau. Consistency of the Predicative Calculus of Cumulative Inductive Construction (pCuIC). Hosted on arXiv and HAL, October 2017.

2016

2. Hosted on KU Leuven Library (lirias) Technical Report
Amin Timany and Bart Jacobs. Category Theory in Coq 8.5: Extended Version. Hosted on KU Leuven Library (lirias), April 2016.

2014

1. Hosted on KU Leuven Library (lirias) Technical Report
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.