Schwichtenberg’s Style Analysis of Parameter-Free Fragments of Girard’s System F

ジャーナル論文 - rm_published_papers: Others

査読済み

Journal of Logic and Computation, Vol.35(4)

05/2025

ファイルとリンク (1)

url

https://doi.org/10.1093/logcom/exaf031表示

is_downloadable: False

3 レコードビュー

タイトル: Schwichtenberg’s Style Analysis of Parameter-Free Fragments of Girard’s System F
作成者 – 役職なし: Ryota AKIYOSHI
出版物に関する詳細: Journal of Logic and Computation, Vol.35(4)
ID: 991002580769007421
組織: The University of Electro-Communications
言語: 英語
資料タイプ: ジャーナル論文
リソースのサブタイプ: rm_published_papers: Others