Girard, J. (1989). Proofs and types. Cambridge University Press.
シカゴスタイル引用形Girard, Jean-Yves. Proofs and Types. Cambridge [England] ; New York: Cambridge University Press, 1989.
MLA引用形式Girard, Jean-Yves. Proofs and Types. Cambridge University Press, 1989.
警告: この引用は必ずしも正確ではありません.