"A short proof that adding some permutation rules to β preserves SN."

René David (2011)

Details and statistics

DOI: 10.1016/J.TCS.2010.10.048

access: open

type: Journal Article

metadata version: 2021-02-17