Text

Preservation of termination for explicit substitution

Tidak Tersedia Deskripsi

Ketersediaan

Informasi Detail

Judul Seri

No. Panggil

511.3 blo p

Penerbit

Eindhoven : Eindhoven Universiteit of Technology., 1997

Deskripsi Fisik

viii, 178 p. il. 25 cm

Bahasa

English

ISBN/ISSN

90-386-0551-X

Klasifikasi

511.3

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

TERM REWRITING SYSTEMS
LAMBDA CALCULUS
FUNCTIONAL PROGRAMMING

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Carolus Johannes Bloo

Versi lain/terkait

Lampiran Berkas

Komentar