CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

Henk Barendregt

4 cilt bulundu.

Cilt sonuçları

CiltSome Extensional Term Models for Combinatory Logics and Lambda Calculi 1971Henk Barendregt

Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

Henk Barendregt · Independently Published

Sayfa sayısı yok · 2020

Kategori yok

CiltTypes for Proofs and ProgramsHenk Barendregt

Types for Proofs and Programs

Henk Barendregt · Springer

390 sayfa · 1994

Kategori yok

CiltLambda Calculus with TypesHenk Barendregt, Wil Dekkers, Richard Statman

Lambda Calculus with Types

Henk Barendregt, Wil Dekkers, Richard Statman · Cambridge University Press

857 sayfa · 2013

Kategori yok

CiltLambda Calculus SatelliteHenk Barendregt, Giulio Manzonetto

Lambda Calculus Satellite

Henk Barendregt, Giulio Manzonetto · College Publications

Sayfa sayısı yok · 2022

Kategori yok