关注微信公众号查券更方便
【预订】The Parametric Lambda Calculus 9783642057465
【4周达】The Parametric Lambda Calculus: A Metamodel for Computation [9783642057465]