Pages that link to "Item:Q930871"
From MaRDI portal
The following pages link to Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871):
Displayed 1 item.