"The Church-Rosser theorem and quantitative analysis of witnesses."

Ken-etsu Fujita (2018)

Details and statistics

DOI: 10.1016/J.IC.2018.09.002

access: open

type: Journal Article

metadata version: 2020-02-03