researchers with a paper here
collaborating institutions

1 paper

cs.LO2015

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

Ali Assaf

The lambda Pi calculus can be extended with rewrite rules to embed any functional pure type system. In this paper, we show that the embedding is conservative by proving a relative…