Typed Lambda Calculi and Applications - 9783642216909

Escobar - Rewriting Logic and Its Applications 10th International Wo - X555z

Hasegawa - Typed Lambda Calculi and Applications 11th International - X555z

Tan - Advances in Image and Graphics Technologies 10th Chinese Confe - X555z

Beecks - Similarity Search and Applications 10th International Confe - X555z

Narendran - Rewriting Techniques and Applications 10th International - X555z

Typed Lambda Calculi and Applications Girard, Jean-Yves:

Applications and Techniques in Information Security: 10th International Confe...