scientific article; zbMATH DE number 7559280
From MaRDI portal
Publication:5089014
DOI10.4230/LIPIcs.FSCD.2019.14MaRDI QIDQ5089014
Alejandro Díaz-Caro, Gilles Dowek
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/1501.06125
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Extensional proofs in a propositional logic modulo isomorphisms ⋮ Functional pearl: the distributive \(\lambda\)-calculus ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ A new connective in natural deduction, and its application to quantum computing
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A relational semantics for parallelism and non-determinism in a functional setting
- The vectorial \(\lambda\)-calculus
- On the expressive power of schemes
- The calculus of constructions
- Lambda-calculi for (strict) parallel functions
- Theorem proving modulo
- Mechanizing metatheory without typing contexts
- Nondeterministic extensions of untyped \(\lambda\)-calculus
- A System F accounting for scalars
- Linearity in the Non-deterministic Call-by-Value Setting
- Linearity, Non-determinism and Solvability
- A short survey of isomorphisms of types
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- The algebraic lambda calculus
- Provable isomorphisms of types
- A Filter Model for Concurrent $\lambda$-Calculus
- Proof normalization modulo
- Homotopy Type Theory: Univalent Foundations of Mathematics
This page was built for publication:
