1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…