TY  - RPRT
TI  - Justification Logic of the Lambda Calculus
AU  - Silvia Ghilezan
AU  - Paaras Padhiar
PY  - 2026
UR  - https://arxiv.org/abs/2607.24433
ID  - 2607.24433
ER  -