Art
J-GLOBAL ID：201902100039777596   Reference number：19S1813294

Constructive classical logic AS CPS-calculus

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (1)：
Ogata, Ichiro

About Ogata, Ichiro

(Electrotechnical Laboratory, 1-1-4 Umezono)

About Electrotechnical Laboratory, 1-1-4 Umezono


Material：
International Journal of Foundations of Computer Science

About International Journal of Foundations of Computer Science


Volume： 11  Issue： 1  Page： 89-112  Publication year： 2000 
JST Material Number： SCOPUS  ISSN： 0129-0541 
Country of issue： Singapore (SGP)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM