37 citations · 96 across the 19 of their papers we have counts for
1 paper · 2 filters
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…