Publication:2851085
From MaRDI portal
zbMath1272.03073MaRDI QIDQ2851085
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050589
03B40: Combinatory logic and lambda calculus
Related Items
Type inference for rank-2 intersection types using set unification, Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage