Non deterministic classical logic: the $\lambda\mu^{++}$-calculus

In this paper, we present an extension of $λ μ$ -calculus called $λ μ^{+ +}$ -calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.

Non deterministic classical logic: the $λ μ^{+ +}$ -calculus

文献摘要

讨论

讲解博客

AI智能校验

Non deterministic classical logic: the $λ μ^{+ +}$ -calculus

文献摘要

讨论

讲解博客

AI智能校验

Non deterministic classical logic: the λμ++λμ++-calculus

文献摘要

讨论

|讲解博客

|AI智能校验

Non deterministic classical logic: the λμ++λμ++-calculus

文献摘要

讨论

|讲解博客

|AI智能校验

Non deterministic classical logic: the $λ μ^{+ +}$ -calculus

讲解博客

AI智能校验

Non deterministic classical logic: the $λ μ^{+ +}$ -calculus

讲解博客

AI智能校验