Calculul Lambda cu tipuri - Lambda Calculus with Types
Acest manual cu exerciții dezvăluie în formalisme, folosite până acum mai ales pentru proiectarea și verificarea...
Calculul Lambda. Sintaxa și semantica sa - The Lambda Calculus. Its Syntax and Semantics
Calculul Lambda, tratat în această carte în principal...
Un satelit Lambda Calculus - A Lambda Calculus Satellite
În 1936, noțiunea de calculabilitate intuitivă a fost operaționalizată în două moduri diferite: prin...
