Mariangiola Dezani-Ciancaglini

D.C. · M.C. · M.D · M. Dezani-Ciancaglini

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Automata, Languages and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings978-3-540-51371-1
(3-540-51371-X)
1989Giorgio Ausiello · Simonetta Ronchi Della Rocca
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... Notes in Computer Science , Band 902)978-3-540-59048-4
(3-540-59048-X)
2008Gordon Plotkin

Marianna D. Birnbaum