Kalkulator lambda z typami - Lambda Calculus with Types

Ten podręcznik z ćwiczeniami ujawnia w formalizmach, dotychczas używanych głównie do projektowania i weryfikacji...

The Lambda Calculus. Jego składnia i semantyka - The Lambda Calculus. Its Syntax and...

Rachunek lambda, traktowany w tej książce głównie w...

Satelita rachunku lambda - A Lambda Calculus Satellite

W 1936 roku pojęcie intuicyjnej obliczalności zostało zoperacjonalizowane na dwa różne sposoby: za pomocą...

Satelita rachunku lambda - A Lambda Calculus Satellite

W 1936 roku pojęcie intuicyjnej obliczalności zostało zoperacjonalizowane na dwa różne sposoby: za pomocą...

Prezentacja autora Henk Barendregt:

Dotychczas wydane książki Henk Barendregt: