Ali Assaf

According to our database, Ali Assaf authored at least 9 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory.

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard

CoRR, 2023

2015

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

Ali Assaf

PhD thesis, 2015

Conservativity of embeddings in the lambda Pi calculus modulo rewriting (long version).

Ali Assaf

CoRR, 2015

Mixing HOL and Coq in Dedukti (Extended Abstract).

Ali Assaf, Raphaël Cauderlier

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

Translating HOL to Dedukti.

Ali Assaf, Guillaume Burel

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting.

Ali Assaf

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2014

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

Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron

Log. Methods Comput. Sci., 2014

A Calculus of Constructions with Explicit Subtyping.

Ali Assaf

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2011

Completeness of algebraic CPS simulations

Ali Assaf, Simon Perdrix

Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011