scientific article; zbMATH DE number 7526056

MaRDI QIDQ5076061

Olivier Laurent

Publication date: 12 May 2022

Full work available at URL: https://arxiv.org/abs/1904.10108

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Taming the Merge Operator

Cites Work

• Unnamed Item
• The parametric lambda calculus. A metamodel for computation.
• Intersection type assignment systems
• Intersection types and lambda models
• A filter lambda model and the completeness of type assignment
• Intersection Types as Logical Formulae

This page was built for publication: