Polarised Intermediate Representation of Lambda Calculus with Sums

DOI10.1109/LICS.2015.22zbMath1394.68068MaRDI QIDQ4635798

Gabriel Scherer, Guillaume Munch-MacCagnoni

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

\(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Call-by-name extensionality and confluence ⋮ Unnamed Item

This page was built for publication: Polarised Intermediate Representation of Lambda Calculus with Sums