Bookmark Saya

Semantic Scholar Open Access 1989 2006 sitasi

Proofs and types

J. Girard P. Taylor Y. Lafont
Lihat Sumber

Topik & Kata Kunci

Mathematics

Penulis (3)

J

J. Girard

P

P. Taylor

Y

Y. Lafont

Format Sitasi

APA MLA BibTeX
Girard, J., Taylor, P., Lafont, Y. (1989). Proofs and types. https://www.semanticscholar.org/paper/d0da7f8995768f7ad2e796aab8f414557daa86b0

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber
Informasi Jurnal
Tahun Terbit
1989
Bahasa
en
Total Sitasi
2006×
Sumber Database
Semantic Scholar
Akses
Open Access ✓