пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
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
Рік:
2011
Мова:
english
Файл:
DJVU, 798 KB
Ваші теги:
0
/
0
english, 2011
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×