scientific article; zbMATH DE number 7559280
From MaRDI portal
Publication:5089014
DOI10.4230/LIPICS.FSCD.2019.14MaRDI QIDQ5089014FDOQ5089014
Alejandro Díaz-Caro, Gilles Dowek
Publication date: 18 July 2022
Full work available at URL: https://arxiv.org/abs/1501.06125
Title of this publication is not available (Why is that?)
Cites Work
- Nondeterministic extensions of untyped \(\lambda\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Homotopy Type Theory: Univalent Foundations of Mathematics
- The calculus of constructions
- Theorem proving modulo
- Lambda-calculi for (strict) parallel functions
- A relational semantics for parallelism and non-determinism in a functional setting
- A Filter Model for Concurrent $\lambda$-Calculus
- A short survey of isomorphisms of types
- Title not available (Why is that?)
- A System F accounting for scalars
- Linearity in the Non-deterministic Call-by-Value Setting
- Title not available (Why is that?)
- Linearity, Non-determinism and Solvability
- The algebraic lambda calculus
- The vectorial \(\lambda\)-calculus
- Provable isomorphisms of types
- Proof normalization modulo
- On the expressive power of schemes
- Title not available (Why is that?)
- Retrieving library identifiers via equational matching of types
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Mechanizing metatheory without typing contexts
Cited In (5)
- 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
- A quick overview on the quantum control approach to the lambda calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089014)
