System description of LAMBDALG - A higher order algebraic specification language

Yexuan Gui, Mitsuhiro Okada

研究成果: Conference contribution

フィンガープリント

「System description of LAMBDALG - A higher order algebraic specification language」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。