Report copyright - On Generic Context Lemmas for Lambda Calculi with Sharing · The assumptions ensure that the e ects of substitutions (caused by e.g. beta-reduction) can be translated ... [FM01,FM03])
Please pass captcha verification before submit form