[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus

✍ Scribed by Mazza, Damiano

• Book ID: 115510892
• Publisher: IEEE
• Year: 2012
• Weight: 293 KB
• Category: Article
• ISBN: 0769547699
• DOI: 10.1109/lics.2012.57