菲利普·加德纳（Philippa Gardner）和长谷川正彦（Masahito Hasegawa）：高阶动作微积分的类型和模型。（1997年） conf/tacs/加德纳H97 2007年10月10日/BFB0014569 高阶动作演算的类型和模型。 2 菲利普·加德纳 1 长谷正彦 2 583-603 节气门执行器控制系统 节气门执行器控制系统 1997 1997 dblp记录“conf/tacs/GardnerH97”的RDF数据的来源信息 2022-10-02T16:16:20+0200