AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Ali Assaf

Ali Assaf

Institut national de recherche en informatique et en automatique - / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 5146490
National Institute for Research in Computer Science and Automation
person_outline Ali Assaf's MOST POPULAR ARTICLES
1-) Translating HOL to Dedukti Proof Exchange for Theorem Proving, 2015
2-) Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus Logical Methods in Computer Science, 2014
3-) A Calculus of Constructions with explicit subtyping Types for Proofs and Programs, 2014
4-) Conservativity of embeddings in the lambda-Pi calculus modulo rewriting Typed Lambda Calculi and Applications, 2015
5-) Completeness of algebraic CPS simulations Developments of Computational Models, 2011