Pages that link to "Item:Q3527290"
From MaRDI portal
The following pages link to Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (Q3527290):
Displaying 1 item.
The following pages link to Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (Q3527290):
Displaying 1 item.