Pages that link to "Item:Q3612624"
From MaRDI portal
The following pages link to An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types (Q3612624):
Displayed 2 items.
The following pages link to An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types (Q3612624):
Displayed 2 items.