Pages that link to "Item:Q5057475"
From MaRDI portal
The following pages link to Decomposing typed lambda calculus into a couple of categorical programming languages (Q5057475):
Displaying 7 items.
- Comparing Hagino's categorical programming language and typed lambda- calculi (Q685425) (← links)
- Translating lambda calculus into C++ templates (Q832102) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- Correct Looping Arrows from Cyclic Terms (Q2900260) (← links)
- (Q3024851) (← links)
- Categorical semantics for higher order polymorphic lambda calculus (Q3783264) (← links)