Ali Assaf

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 5

Top Topics

Algebraic Structure

Higher Order Logic

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR (2023)
Ali Assaf, Raphaël Cauderlier
Mixing HOL and Coq in Dedukti (Extended Abstract). PxTP@CADE (2015)
Ali Assaf
Conservativity of embeddings in the lambda Pi calculus modulo rewriting (long version). CoRR (2015)
Ali Assaf, Guillaume Burel
Translating HOL to Dedukti. PxTP@CADE (2015)
Ali Assaf
Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting. TLCA (2015)
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. 10 (4) (2014)
Ali Assaf
A Calculus of Constructions with Explicit Subtyping. TYPES (2014)
Ali Assaf, Simon Perdrix
Completeness of algebraic CPS simulations DCM (2011)