Publication:4937839

zbMath0941.68532MaRDI QIDQ4937839

Toshihiro Shimizu, Naoki Kobayashi, Akinori Yonezawa

Publication date: 20 February 2000

Mathematics Subject Classification ID

68N15: Theory of programming languages

03B70: Logic in computer science

03F50: Metamathematics of constructive systems