scientific article; zbMATH DE number 7526053

MaRDI QIDQ5076058

Federico Aschieri

Publication date: 12 May 2022

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

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Complete restrictions of the intersection type discipline
• An elementary proof of strong normalization for intersection types
• Normalization without reducibility
• A new type assignment for λ-terms
• Intersection Types from a Proof-theoretic Perspective

This page was built for publication: