Pages that link to "Item:Q2841232"
From MaRDI portal
The following pages link to The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) (Q2841232):
Displayed 3 items.
The following pages link to The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective) (Q2841232):
Displayed 3 items.