Pages that link to "Item:Q2765372"
From MaRDI portal
The following pages link to On equation systems in monotonic models of typed \(\lambda\)-calculus (Q2765372):
Displaying 5 items.
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- An equational metalogic for monadic equational systems (Q2855643) (← links)
- Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (Q3527290) (← links)
- REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS (Q3978457) (← links)
- System F i (Q5300891) (← links)