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. InCoRR 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 onarXiv 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 onKU 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 onKU Leuven Library (lirias), May 2014.