Remy Didier | INRIA-Roquencourt

スポンサーリンク

概要

• Remy Didierの詳細を見る
• 同名の論文著者
• INRIA-Roquencourtの論文著者

関連著者

• Turner David

  Lfcs

• Pierce Benjamin

  LFCS

• Remy Didier

  INRIA-Roquencourt

著作論文

• A Typed Higher-Order Programming Language Based on the Pi-Calculus

スポンサーリンク