Pages that link to "Item:Q5704015"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704015):
Displayed 10 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- On the Values of Reducibility Candidates (Q3637200) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q4957787) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts (Q6091179) (← links)