kitap ara
kitaplar
Destekle
Giriş yap
Giriş yap
giriş yapıldıktan sonra kullanıcılar aşağıdakileri kullanılabilir:
kişisel Tavsiyeler
Telegram botu
indirme geçmişi
E-posta'ya veya Kindle'e gönder
koleksiyon yönetimi
favorilere kaydet
Kişisel
Kitap istekleri
Keşfet
Z-Recommend
Kitap seçimi
En popüler
Kategoriler
Bağış
Destekle
Yüklenilenler
Litera Library
Kağıt kitapları bağış yapın
Basılı kitaplar ekleyin
Search paper books
Benim LITERA Point
Anahtar kelime araması
Main
Anahtar kelime araması
search
1
Introduction to the Theory of Programming Languages
Springer-Verlag London
Gilles Dowek
,
Jean-Jacques Lévy (auth.)
pcf
function
funx
step
variables
functions
define
operational
fixed
defined
fix
arguments
programming
irreducible
interpretation
argument
references
values
algorithm
element
abstract
denotational
ifz
interpreter
reduction
ordering
programs
records
equations
x:nat
definitions
interpret
letx
consider
contains
substitution
theorem
push
recursive
reduces
extend
fixxt
apply
evaluate
computation
strategy
closure
compute
induction
itself
Yıl:
2011
Dil:
english
Dosya:
DJVU, 798 KB
Etiketleriniz:
0
/
0
english, 2011
1
Bu bağlantıyı
takip edin veya Telegram'da @BotFather botunu arayın
2
Ona /newbot gönder
3
Botunuz için bir ad girin
4
Bot için kullanıcı adını belirtin
5
BotFather'dan gelen son mesajı kopyalayın ve buraya yapıştırın
×
×