Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 1 dari pencarian Anda melalui kata kunci: author=Nederpelt, Rob.
cover
A Modern Perspective on Type Theory
Komentar Bagikan
Kamareddine, F.D.Laan, T.Nederpelt, Rob.

The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica -- Deramification -- Propositions as Types, Pure Type Systems, AUTOMATH -- Propositions as Types and Pure Type Systems -- The pre-PAT RTT and STT in PAT-style -- A Correspondence between RTT and the system Nuprl -- Automath -- Extensions of Pure Type Systems -- Pure Type Systems with definitions -…

Edisi
1st ed. 2005.
ISBN/ISSN
9781402023354
Deskripsi Fisik
XIV, 360 p.online resource.
Judul Seri
-
No. Panggil
-