Follow
Ali Assaf
Ali Assaf
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Translating HOL to Dedukti
A Assaf, G Burel
Proof Exchange for Theorem Proving, 2015
372015
Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
A Assaf, A Díaz-Caro, S Perdrix, C Tasson, B Valiron
Logical Methods in Computer Science, 2014
272014
A Calculus of Constructions with explicit subtyping
A Assaf
Types for Proofs and Programs, 2014
262014
Conservativity of embeddings in the lambda-Pi calculus modulo rewriting
A Assaf
Typed Lambda Calculi and Applications, 2015
122015
Completeness of algebraic CPS simulations
A Assaf, S Perdrix
Developments of Computational Models, 2011
62011
Mixing HOL and Coq in Dedukti (Rough Diamond)
A Assaf, R Cauderlier
Interactive Theorem Proving, 2015
12015
Traduction de HOL en Dedukti
A Assaf
Master Parisien de Recherche en Informatique (MPRI), École Polytechnique, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–7