‹
Curry-Howard correspondence
›
nameTür İşaretler?
a. = ad • alay = alay yollu • Alm. = Almanca • anat. = anatomi • Ar. = Arapça • argo = argo söz • ask. = askerlik • bağ. = bağlaç • bit. b. = bitki bilimi • biy. = biyoloji • bl. = bilişim • Bulg. = Bulgarca • coğ. = coğrafya • ç. = çokluk • db. = dil bilgisi • -de = -de durum ekiyle kullanılan fiil • den. = denizcilik • -den = -den durum ekiyle kullanılan fiil • dil b. = dil bilimi • din b. = din bilgisi • e. = edat • -e = -e durum ekiyle kullanılan fiil • ed. = edebiyat • eğt. = eğitim bilimi • ekon. = ekonomi • Erm. = Ermenice • esk. = eskimiş • Far. = Farsça • fel. = felsefe • fiz. = fizik • fizy. = fizyoloji • Fr. = Fransızca • geom. = geometri • gök b. = gök bilimi • hkr. = hakaret yollu • hay. b. = hayvan bilimi • hlk. = halk ağzında • huk. = hukuk • -i = -i durum ekiyle kullanılan fiil • İbr. = İbranice • İng. = İngilizce • İsp. = İspanyolca • İt. = İtalyanca • jeol. = jeoloji • kaba = kaba konuşmada • kim. = kimya • Kor. = Korece • Lat. = Latince • -le = ile edatıyla kullanılan fiil • Mac. = Macarca • man. = mantık • mat. = matematik • mdn. = madencilik • mec. = mecaz • meteor. = meteoroloji • mim. = mimarlık • min. = mineroloji • Moğ. = Moğolca • müz. = müzik • nsz. = nesne almayan fiil • öz. = özel • Port. = Portekizce • ruh b. = ruh bilimi • Rus. = Rusça • Rum. = Rumca • sf. = sıfat • sin. = sinema • Sl. = Slavca • sp. = spor • şaka = şaka yollu • T. = Türkçe • tar. = tarih • tek. = teknik • tekno. = teknoloji • tıp = tıp • tic. = ticaret • tiy. = tiyatro • tkz. = teklifsiz konuşmada • top. b. = toplum bilimi • TV = televizyon • ünl. = ünlem • vb. = ve benzerleri • yar. = yardımcı fiil • Yun. = Yunanca • zf. = zarf • zm. = zamir
-bi gibi biçimler: ünlüyle başlayan ek aldığında aldığı biçim (örn. dip → dibi).

Anlamlar

A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).

Etimoloji

Bu madde için etimoloji bilgisi bulunmuyor.

Eş Anlam

Curry-Howard isomorphism

Zıt Anlam

Bu madde için zıt anlamlı kaydı bulunmuyor.

Dil Bilgisi

Bu madde için ek dil bilgisi bulunmuyor.

Deyimler

Bu kelimeye bağlı veya kelimenin geçtiği deyim bulunamadı.

Atasözleri

Bu kelimeye bağlı veya kelimenin geçtiği atasözü bulunamadı.

Kalıp söz

Bu kelimeye bağlı veya kelimenin geçtiği kalıp söz bulunamadı.

İlişkili Sözler

Bu madde için bağlantılı deyim, atasözü veya ilişkili söz bulunmuyor.

Çekimler ve Sözcük Biçimleri

Bu madde için kayıtlı çekim veya sözcük biçimi bulunmuyor.

Kaynak ve Kayıt Bilgisi

Kaynak sınıfıSivil kaynak
Kaynak
Wiktionary / Kaikki
Kayıt durumu
Editoryal olarak onaylandı
Sürüm / aktarım
2026-09-06
Kullanım notu
CC BY-SA / GFDL (madde kaynak lisansı)
← Sözlüğe dön