BENTON N について
Univ. Cambridge, GBR について
BIERMAN G について
Univ. Cambridge, GBR について
DE PAIVA V について
Univ. Cambridge, GBR について
HYLAND M について
Univ. Cambridge, GBR について
Lecture Notes in Computer Science について
カテゴリー理論 について
直観論理 について
計算理論 について
線形 について
ラムダ計算 について
カテゴリー について
モデル について