Pages that link to "Item:Q2508325"
From MaRDI portal
The following pages link to Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325):
Displayed 11 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Effectful applicative similarity for call-by-name lambda calculi (Q1989333) (← links)
- Stochastic \(\lambda\)-calculi: an extended abstract (Q2250553) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- (Q4580329) (← links)
- A deterministic rewrite system for the probabilistic λ-calculus (Q5108532) (← links)
- (Q5227520) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)