Folgen
Ali Assaf
Ali Assaf
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Translating HOL to Dedukti
A Assaf, G Burel
Proof Exchange for Theorem Proving, 2015
362015
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
252014
A Calculus of Constructions with explicit subtyping
A Assaf
Types for Proofs and Programs, 2014
252014
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7