Liknande böcker

Typed Lambda Calculi and Applications : Third International Conference o...
Bok av Philippe De Groote
Typed lambda calculi and applications : Second International Conference...
Bok av Mariangiola Dezani-Ciancaglini
Typed lambda calculi and applications
Bok av Marc Bezem
Mathematical Foundations of Computer Science 1999: 24th International Sy...
Bok av Tomasz Wierzbicki
Graph-theoretic concepts in computer science
Bok av Manfred Nagl
Algebraic methodology and software technology : 4th international confer...
Bok av Vangalur S Alagar
Developments in language theory : 7th international conference, DLT 2003...
Bok av Zoltan Esik
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99 L'Aquila, Italy, April 79, 1999 Proceedings

Bok av Jean-Yves Girard