Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

M. Dezani-Ciancaglini | lit.salon

Author

M. Dezani-Ciancaglini

4 works

1982–1998 across 4 dated works

No biography is available yet.

Start with

International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings (Lecture Notes in Computer Science)1982
With U. Montanari
Automata, Languages, and Programming: 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings (Lecture Notes in Computer Science,)1989
With G. Ausiello
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, (Lecture Notes in Computer Science)1995
Theories of types and proofs1998
With Masako Takahashi, Nihon Sūgakkai

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings (Lecture Notes in Computer Science)1982
With U. Montanari
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automata, Languages, and Programming: 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings (Lecture Notes in Computer Science,)1989
With G. Ausiello
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Theories of types and proofs1998
With Masako Takahashi, Nihon Sūgakkai
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, (Lecture Notes in Computer Science)1995
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around M. Dezani-Ciancaglini.

The conversation is still open.

There is no public salon activity to show for M. Dezani-Ciancaglini yet.