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