vix.ing
·
top
·
new
·
best
·
stats
·
spec
Silvia Ghilezan
Justification Logic of the Lambda Calculus
2026/07/27 by
Silvia Ghilezan
,
Paaras Padhiar
#cs.LO
#math.LO