Liknande böcker

Recent Trends in Algebraic Development Techniques : 17th International W...
Bok av José Luiz. Fiadeiro
Typed lambda calculi and applications : Second International Conference...
Bok av Mariangiola Dezani-Ciancaglini
Typed lambda calculi and applications
Bok av Marc Bezem
Typed Lambda Calculi and Applications : Third International Conference o...
Bok av Philippe De Groote
Typed Lambda Calculi and Applications: 4th International Conference, TLC...
Bok av Jean-Yves Girard
Graph-theoretic concepts in computer science
Bok av Manfred Nagl
Computational Complexity
Bok av K. Wagner
Algebraic methodology and software technology : 4th international confer...
Bok av Vangalur S Alagar

Typed Lambda Calculi and Applications

Bok av Samson Abramsky