- The Size-Change Principle for Mixed Inductive and Coinductive types Pierre Hyvernat Sat 05 April 2025
- Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus Marcelo Fiore Thu 21 July 2022
- On sets of terms with a given intersection type Richard Statman Andrew Polonsky Wed 12 May 2021
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
