Filter models: non-idempotent intersection types, orthogonality and polymorphism

DOI10.4230/LIPICS.CSL.2011.51zbMath1247.03019OpenAlexW2242901838MaRDI QIDQ2915673

Stéphane Lengrand, Alexis Bernadet

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_6a8a.html

zbMATH Keywords

system Frealisabilitynon-idempotent intersections

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

A semantic account of strong normalization in linear logic ⋮ Essential and relational models

This page was built for publication: Filter models: non-idempotent intersection types, orthogonality and polymorphism