Types and Models for Higher-Order Action Calculi, Proc.3rd International Symposium on Theoretical Aspects of Computer Software

• GARDNER P.

収録刊行物

• LNCS

  LNCS 1281 583-603, 1997

  Springer

詳細情報

• CRID: 1570572700853249664
• NII論文ID: 80009861913
• データソース種別:
  • CiNii Articles