Pages that link to "Item:Q5410454"
From MaRDI portal
The following pages link to Programming in the λ-Calculus: From Church to Scott and Back (Q5410454):
Displaying 8 items.
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- \(\lambda\) to SKI, semantically -- declarative pearl (Q1648865) (← links)
- Weak call-by-value lambda calculus as a model of computation in Coq (Q1687735) (← links)
- Programs as data structures in \(\lambda\)SF-calculus (Q1744389) (← links)
- The \textsc{MetaCoq} project (Q2209542) (← links)
- Call-by-value lambda calculus as a model of computation in Coq (Q2319993) (← links)
- Enriching the lambda calculus with contexts: toward a theory of incremental program construction (Q2817703) (← links)
- Thunks and the λ-calculus (Q4358459) (← links)