The Lambda Calculus: Practice and Principle
Leather, Hugh ; Irgens, Janne Trinder, Phil ; McBride, Conor ; Sannella, Don ; Lindley, Sam ; Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Don
A List of Successes That Can Change the World, 2016, Vol.9600, p.201-206 [Periódico revisado por pares]Switzerland: Springer International Publishing AG
Texto completo disponível