Pages that link to "Item:Q2508325"
From MaRDI portal
The following pages link to Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325):
Displaying 20 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)
- On bisimilarity in lambda calculi with continuous probabilistic choice (Q2133169) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Factorization in call-by-name and call-by-value calculi via linear logic (Q2233405) (← 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)
- (Q4957786) (← links)
- (Q5089014) (← links)
- (Q5089021) (← links)
- (Q5094133) (← links)
- A deterministic rewrite system for the probabilistic λ-calculus (Q5108532) (← links)
- (Q5227520) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)