Hasil Pencarian - Zena M. Ariola

  • Menampilkan 1 - 2 hasil dari 2
Perbaiki Hasil
  1. 1
    Compiling With Classical Connectives

    Compiling With Classical Connectives oleh Paul Downen, Zena M. Ariola

    Diterbitkan 2020-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    First Class Call Stacks: Exploring Head Reduction

    First Class Call Stacks: Exploring Head Reduction oleh Philip Johnson-Freyd, Paul Downen, Zena M. Ariola

    Diterbitkan 2016-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: