Logic, rationality, and interaction: third International Workshop ; proceedings by LORI, Kanton, Stadt fromLecture Notes in Computer Science 0 Type: Book
Typed lambda calculi and applications: 10th international conference ; proceedings by TLCA, Novi Sad fromLecture Notes in Computer Science 0 Type: Book