Nondeterministic extensions of untyped \(\lambda\)-calculus

DOI10.1006/inco.1995.1145zbMath1096.03502OpenAlexW2025341469MaRDI QIDQ2508325

Adolfo Piperno, Ugo de'Liguoro

Publication date: 10 October 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1145

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)

Related Items (20)

On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem ⋮ On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ The differential \(\lambda \mu\)-calculus ⋮ Probabilistic operational semantics for the lambda calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ A deterministic rewrite system for the probabilistic λ-calculus ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Factorization in call-by-name and call-by-value calculi via linear logic ⋮ Filter models for conjunctive-disjunctive \(\lambda\)-calculi ⋮ Effectful applicative similarity for call-by-name lambda calculi ⋮ Stochastic \(\lambda\)-calculi: an extended abstract ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Nondeterministic extensions of untyped \(\lambda\)-calculus