output
20002025
most citedDecoherence time in self-induced decoherence

55 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2011Show all

2 papers · 1 filter

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…