Pages that link to "Item:Q3980023"
From MaRDI portal
The following pages link to THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS (Q3980023):
Displaying 8 items.
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- Programs as data structures in \(\lambda\)SF-calculus (Q1744389) (← links)
- The formal system λδ (Q2946591) (← links)
- (Q3757389) (← links)
- \(\lambda{} \sigma\): A simulation language based on the typed \(\lambda\)- calculus (Q3992063) (← links)
- (Q5087785) (← links)
- Formal SOS-Proofs for the Lambda-Calculus (Q5178966) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)