George Cherevichenko

[1] viXra:1710.0309 submitted on 2017-10-28 12:24:53, (116 unique-IP downloads)

Alpha-Conversion for Lambda Terms with Explicit Weakenings

Authors: George Cherevichenko
Category: Set Theory and Logic