Report - Operations on Nil-terms - Vanderbilt UniversityJoachim Grunewald (RFW Bonn) Operations on Nil-terms Nil Phenomena 18 / 21. We denote ΛX = Map(S1,X) and ev: ΛX → X is the evaluation

Please pass captcha verification before submit form