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.