Weak reduction in Lambda calculus
Başlık çevirisi mevcut değil.
- Tez No: 400680
- Danışmanlar: DR. J. R. HINDLEY
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1996
- Dil: İngilizce
- Üniversite: Swansea University / Prifysgol Abertawe
- Enstitü: Prifysgol Abertawe
- Ana Bilim Dalı: Yurtdışı Enstitü
- Bilim Dalı: Matematik Ana Bilim Dalı
- Sayfa Sayısı: 69
Ö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
- 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
2004
Mühendislik Bilimleriİstanbul Teknik ÜniversitesiHesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı
PROF. DR. METİN DEMİRALP
- Kazıkların eksenel ve yatay yük taşıma kapasiteleri
The bearing capacity of piles under axial and lateral loading
NİLAY DURLANIK
- 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
1999
Çevre MühendisliğiBoğaziçi ÜniversitesiÇevre Bilimleri Ana Bilim Dalı
PROF.DR. MİRAY BEKBÖLET
- Partial purification and characterization of arylamine N-acetyltransferases from human breast tumor tissues
İnsan meme tümörü dokularından arilamin N-asetiltransferazlar'ın kısmi saflaştırılması ve karakterizasyonu
YAŞASIN SENEM SU
- Weak state and its evaluation for routing in large scale dynamic networks
Başlık çevirisi yok
UTKU GÜNAY ACER
Doktora
İngilizce
2009
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolRensselaer Polytechnic InstitutePROF. ALHUSSEIN A. ABOUZEID
PROF. SHIVKUMAR KALYANARAMAN