Ali Assaf

发表

Mixing HOL and Coq in Dedukti (Rough Diamond)

Raphaël Cauderlier, Ali Assaf, 2015 .

Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting pdf

Ali Assaf, 2015, TLCA.

Mixing HOL and Coq in Dedukti (Extended Abstract)

Raphaël Cauderlier, Ali Assaf, 2015, PxTP@CADE.

A Calculus of Constructions with Explicit Subtyping

Ali Assaf, Ali Assaf, 2014, TYPES.

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

Simon Perdrix, Christine Tasson, Alejandro Díaz-Caro, 2014, Log. Methods Comput. Sci..

Translating HOL to Dedukti

Guillaume Burel, Ali Assaf, G. Burel, 2015, PxTP@CADE.

A framework for defining computational higher-order logics. (Un cadre de définition de logiques calculatoires d'ordre supérieur)

Ali Assaf, A. Assaf, 2015 .

Completeness of algebraic CPS simulations

Simon Perdrix, Ali Assaf, 2011, DCM.

A Common Aspect Languages Interpreter

Ali Assaf, Ali Assaf, 2011 .

Traduction de HOL en Dedukti

Ali Assaf, 2012 .

Encoding Proofs in Dedukti: the case of Coq proofs

Jean-Pierre Jouannaud, Gilles Dowek, Ali Assaf, 2016 .

Untyped Confluence in Dependent Type Theories

Jean-Pierre Jouannaud, Gilles Dowek, Ali Assaf, 2016 .

Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system

Guillaume Burel, Gilles Dowek, David Delahaye, 2016 .