Pages that link to "Item:Q5899101"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899101):
Displaying 8 items.
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations (Q853738) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987) (← links)
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- (Q2778886) (← links)
- Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones (Q4500179) (← links)
- Termination of combined (rewrite and λ-calculus) systems (Q5881181) (← links)