Pages that link to "Item:Q2864217"
From MaRDI portal
The following pages link to A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine (Q2864217):
Displaying 1 item.
The following pages link to A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine (Q2864217):
Displaying 1 item.