M. Dezani-Ciancaglini
Identifiers
- Open LibraryOL2682691A
Top Subjects
- Mathematics (1)
- Logic (1)
- Computer Books: Operating Systems (1)
- Automata (1)
Books by M. Dezani-Ciancaglini
Total count: 2
Automata, Languages, and Programming16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings (Lecture Notes in Computer Science,)Springer1989-08-01-
Typed Lambda Calculi and ApplicationsSecond International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, (Lecture Notes in Computer Science)Springer1995-01-01