Pages that link to "Item:Q5704015"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704015):
Displaying 17 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- A correspondence between type checking via reduction and type checking via evaluation (Q763480) (← links)
- Relating computational effects by \(\top \top \)-lifting (Q1951584) (← links)
- Reduction and introducers in \(d\)-contexts (Q2294543) (← links)
- An upper bound for reduction sequences in the typed \(\lambda\)-calculus (Q2639840) (← links)
- Ludics with repetitions (Exponentials, Interactive types and Completeness) (Q3003332) (← 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)
- (Q4362909) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q4793030) (← 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)
- Higher-order asynchronous effects (Q6635509) (← links)