1 citations
3 papers
cs.LO2011★ 1 cited
A standardisation proof for algebraic pattern calculi
Delia Kesner, Carlos Lombardi, Alejandro Ríos
This work gives some insights and results on standardisation for call-by-name pattern calculi. More precisely, we define standard reductions for a pattern calculus with constructor…
cs.LO2011
Proceedings 5th International Workshop on Higher-Order Rewriting
Eduardo Bonelli
HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in prog…
cs.LO2010
Superdevelopments for Weak Reduction
Eduardo Bonelli, Pablo Barenbaum
We study superdevelopments in the weak lambda calculus of Cagman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden…