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.