Pages that link to "Item:Q1245931"
From MaRDI portal
The following pages link to A global representation of the recursive functions in the \(\lambda\)- calculus (Q1245931):
Displaying 5 items.
- First-order reasoning and primitive recursive natural number notations (Q708925) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- (Q3300796) (← links)
- Definition of the semantics of programming language constructs in terms of ?-calculus. I (Q3953161) (← links)
- Redexes are stable in the λ-calculus (Q5269004) (← links)