Cărți de Pawel Urzyczyn

Lectures on the Curry-Howard Isomorphism

Studies in Logic and the Foundations of Mathematics, nr. 149

Autor Morten Heine Sørensen et al.

3 iul 2006

Preț: 733^.05 lei 957^.22 lei

36-50 zile

-23%

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4162

Editat de Rastislav Královic et al.

11 aug 2006

Preț: 657^.94 lei 822^.42 lei

43-57 zile

-20%

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3461

Editat de Pawel Urzyczyn

7 apr 2005

Preț: 334^.29 lei 417^.86 lei

43-57 zile

-20%