MISC

2003年12月

Strong normalization proof with CPS-translation for second order classical natural deduction (vol 68, pg 851, 2003)

JOURNAL OF SYMBOLIC LOGIC
  • K Nakazawa
    • ,
  • M Tatsuta
巻
68
号
4
開始ページ
1415
終了ページ
1416
記述言語
英語
掲載種別
その他
出版者・発行元
CAMBRIDGE UNIV PRESS
リンク情報
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000187012600024&DestApp=WOS_CPL
ID情報
  • ISSN : 0022-4812
  • eISSN : 1943-5886
  • Web of Science ID : WOS:000187012600024
エクスポート
BibTeX RIS
MISCリストへ