Ali Assaf

Ali Assaf

Institut national de recherche en informatique et en automatique  - /
Engineering & Technology / Computer Science
AD Scientific Index ID: 5146490
person_outline Ali Assaf's MOST POPULAR ARTICLES
1-) Translating HOL to DeduktiA Assaf, G BurelProof Exchange for Theorem Proving, 2015352015
2-) Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculusA Assaf, A Díaz-Caro, S Perdrix, C Tasson, B ValironLogical Methods in Computer Science, 2014262014
3-) A Calculus of Constructions with explicit subtypingA AssafTypes for Proofs and Programs, 2014262014
4-) Conservativity of embeddings in the lambda-Pi calculus modulo rewritingA AssafTyped Lambda Calculi and Applications, 2015122015
5-) Completeness of algebraic CPS simulationsA Assaf, S PerdrixDevelopments of Computational Models, 201162011