output
20062025
most citedLineal: A linear-algebraic Lambda-calculus

34 citations

researchers with a paper here
collaborating institutions
Showing 2015 · cs.LOShow all

2 papers · 2 filters

cs.LO2015★ 12 cited

The computability path ordering

Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio

This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability pa…

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…