Type	Name	Date	Provided By
eBooks	Typed Lambda Calculi and Applications Second International Conference	30-12-2024	ebooks1001
eBooks	Typed Lambda Calculi and Applications 11th International Conference, T	13-12-2024	ebooks1001
eBooks	Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inferen	30-11-2024	ebooks1001
eBooks	Typed Lambda Calculi and Applications	23-11-2024	ebooks1001
eBooks	Concurrency Theory Calculi an Automata for Modelling Untimed and Timed	18-02-2023	Best Release