Stem barendregt$ (all stems)
2 papers:
CADE-2007-UrbanBN- Barendregt’s Variable Convention in Rule Inductions (CU, SB, MN), pp. 35–50.
FLOPS-2001-KamareddineLN #parametricity #using- Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.










