Typability in bounded dimension

MaRDI QIDQ5144674zbMATH OpenFDO

Authors Andrej Dudenhefner, Jakob Rehof

Publication date 19 January 2021

Full work available at URL http://dl.acm.org/citation.cfm?id=3330062

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Intersection type calculi of bounded dimension
• Inhabitation of Low-Rank Intersection Types
• The Inhabitation Problem for Rank Two Intersection Types
• The Inhabitation Problem for Non-idempotent Intersection Types
• Inhabitation for non-idempotent intersection types

Cited in

(10)

• The untyped computational \(\lambda \)-calculus and its intersection type discipline
• Pre-grammars and inhabitation for a subset of rank 2 intersection types
• Heirs of box types in polynomially bounded structures
• An analysis of ML typability
• Bounded combinatory logic
• scientific article; zbMATH DE number 1417380 (Why is no real title available?)
• Intersection type calculi of bounded dimension
• Bounded Linear Types in a Resource Semiring
• Pregrammars and intersection types
• YACC: Yet Another Church Calculus. A birthday present for Herman inspired by his supervisor activity

This page was built for publication: Typability in bounded dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5144674)