Typed Lambda Calculi and ApplicationsMariangiola Dezani-Ciancaglini, Gordon PlotkinHäftad, 1995545 kr
From Semantics to Computer ScienceYves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon PlotkinInbunden, 20091 584 kr