Geri Dön

Weak reduction in Lambda calculus

Başlık çevirisi mevcut değil.

PDF İndir

  1. Tez No: 400680
  2. Yazar: NAİM ÇAĞMAN
  3. Danışmanlar: DR. J. R. HINDLEY
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 1996
  8. Dil: İngilizce
  9. Üniversite: Swansea Unıversıty
  10. Enstitü: Prıfysgol Abertawe
  11. Ana Bilim Dalı: Yurtdışı Enstitü
  12. Bilim Dalı: Matematik Ana Bilim Dalı
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

Özet yok.

Özet (Çeviri)

In this thesis, in Chapter 1, we introduce the concept of A-terms, and describe an introduction to A-calculus and Xp-reduction. We go on to describe Xpn-reduction and both A.0 and Xpn-equality. In Chapter 2, we introduce combinatory logic terms. We describe an introduction to combinatory logic with weak reduction and strong reduction and their equality. And also, we compare the two systems, -I-calculus and combinatory logic. In Chapter 3, we introduce two transformations, the X-trans formation that transforms combinatory logic terms to A-terms and the H-transformation that transforms A-terms to combinatory logic terms. And also, we compare the two transformations. In Chapter 4, we set up a new weak A-reduction called wX-reduction, corresponding to combinatory weak reduction. We prove theorems giving its main properties and its exact relation to combinatory weak reduction. We look at wX-equality and prove similar results. And also we look at a new reduction obtained by combining wX-reduction with rule On,). We show that this reduction and its corresponding equality do not correspond to any of the usual known reductions or equalities. In Chapter 5, we prove the Church-Rosser theorem for wX- and wAfj-reduction.

Benzer Tezler

  1. Tez No

    975694

    Polyelectrolyte multilayer films with monometallic and bimetallic nanoparticles for surface-enhanced raman scattering

    Yüzey geliştirilmiş raman saçılımı için mono ve bimetalik nanoparçacıklar içeren polielektrolit çok katmanlı filmler

    AYŞE EFRAN BOZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2025

    KimyaOrta Doğu Teknik Üniversitesi

    Kimya Ana Bilim Dalı

    PROF. DR. GÜLAY ERTAŞ

    PROF. DR. İREM EREL GÖKTEPE

  2. Tez No

    419782

    Uyumlu salınıcının doğrusal ikikutup işlevli, ikinci derece erek ve yaptırım terimli eniyilemeli denetim denklemlerinin elde edilmesi ve çözülmesi

    Optimally controlled dynamics of one dimensional harmonic oscillator under linear dipole functions and quadratic objective and penalty terms

    BURCU TUNGA

    Yüksek Lisans

    Türkçe

    Türkçe

    2004

    Mühendislik Bilimleriİstanbul Teknik Üniversitesi

    Hesaplamalı Bilim ve Mühendislik Ana Bilim Dalı (disiplinlerarası)

    PROF. DR. METİN DEMİRALP

  3. Tez No

    709913

    Interaction between magnetized stars and disks

    Manyetik yıldızlar ve diskler arasındaki etkileşim

    MURAT METEHAN TÜRKOĞLU

    Doktora

    İngilizce

    İngilizce

    2021

    Astronomi ve Uzay Bilimleriİstanbul Teknik Üniversitesi

    Fizik Mühendisliği Ana Bilim Dalı

    PROF. DR. KAZIM YAVUZ EKŞİ

  4. Tez No

    46166

    Kazıkların eksenel ve yatay yük taşıma kapasiteleri

    The bearing capacity of piles under axial and lateral loading

    NİLAY DURLANIK

    Yüksek Lisans

    Türkçe

    Türkçe

    1995

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    PROF. DR. AHMET SAĞLAMER

  5. Tez No

    83001

    Trace-level metals and natural organic matter interactions: Oxidative/adsorptive removal pathways

    Eser element ve doğal organik madde etkileşimleri: Oksidayon/adsorbsiyon giderim yöntemleri

    CEYDA SENEM UYGUNER

    Yüksek Lisans

    İngilizce

    İngilizce

    1999

    Çevre MühendisliğiBoğaziçi Üniversitesi

    Çevre Bilimleri Ana Bilim Dalı

    PROF.DR. MİRAY BEKBÖLET

Geri Dön