DezaniCiancaglini, M. (Mariangiola)
Overview
Works:  45 works in 130 publications in 3 languages and 1,621 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, htt, Contributor, Honoree, Other, Opponent 
Classifications:  QA9.5, 511 
Publication Timeline
.
Most widely held works by
M DezaniCiancaglini
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95,
Edinburgh, United Kingdom, April 1012, 1995 : proceedings by
M DezaniCiancaglini(
)
25 editions published in 1995 in English and held by 479 WorldCat member libraries worldwide
"This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higherorder) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems."PUBLISHER'S WEBSITE
25 editions published in 1995 in English and held by 479 WorldCat member libraries worldwide
"This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higherorder) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems."PUBLISHER'S WEBSITE
International Symposium on Programming : proceedings, 5th colloquium, Turin, April 68, 1982 by
M DezaniCiancaglini(
)
21 editions published in 1982 in 3 languages and held by 437 WorldCat member libraries worldwide
21 editions published in 1982 in 3 languages and held by 437 WorldCat member libraries worldwide
Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 1115, 1989 : proceedings by
G Ausiello(
Book
)
19 editions published between 1988 and 1989 in English and Italian and held by 426 WorldCat member libraries worldwide
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 1115, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics
19 editions published between 1988 and 1989 in English and Italian and held by 426 WorldCat member libraries worldwide
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 1115, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics
Theories of types and proofs by Workshop on Theories of Types and Proofs(
)
5 editions published between 1998 and 2002 in English and held by 70 WorldCat member libraries worldwide
5 editions published between 1998 and 2002 in English and held by 70 WorldCat member libraries worldwide
International Symposium on Programming : 5th Colloquium Turin, April 68, 1982 Proceedings by
M DezaniCiancaglini(
)
1 edition published in 1982 in English and held by 32 WorldCat member libraries worldwide
1 edition published in 1982 in English and held by 32 WorldCat member libraries worldwide
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95
Edinburgh, United Kingdom, April 1012, 1995 Proceedings by
M DezaniCiancaglini(
)
1 edition published in 1995 in English and held by 32 WorldCat member libraries worldwide
1 edition published in 1995 in English and held by 32 WorldCat member libraries worldwide
Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 1115, 1989 Proceedings by
G Ausiello(
)
1 edition published in 1989 in English and held by 31 WorldCat member libraries worldwide
1 edition published in 1989 in English and held by 31 WorldCat member libraries worldwide
Typed lambda calculi and applications proceedings by TLCA '95 International Conference on Typed Lambda Calculi and Applications(
Book
)
2 editions published in 1995 in German and English and held by 16 WorldCat member libraries worldwide
2 editions published in 1995 in German and English and held by 16 WorldCat member libraries worldwide
Logical semantics for concurrent lambdacalculus by
M DezaniCiancaglini(
Book
)
4 editions published in 1996 in English and held by 13 WorldCat member libraries worldwide
Zsfassung in niederländ. Sprache
4 editions published in 1996 in English and held by 13 WorldCat member libraries worldwide
Zsfassung in niederländ. Sprache
A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday(
Book
)
4 editions published in 1993 in English and held by 11 WorldCat member libraries worldwide
4 editions published in 1993 in English and held by 11 WorldCat member libraries worldwide
Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95,
Edinburgh, United Kingdom, April 1995 : proceedings by
Naftali Bezem(
Book
)
5 editions published in 1995 in English and Italian and held by 10 WorldCat member libraries worldwide
Annotation
5 editions published in 1995 in English and Italian and held by 10 WorldCat member libraries worldwide
Annotation
Inter Symposium on Programming by
M DezaniCiancaglini(
)
2 editions published in 2007 in English and held by 9 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 9 WorldCat member libraries worldwide
Selected papers of the 16th International Colloquium on Automata, Languages, and Programming : Stresa, Italy, July 1115,
1989 by
Languages and Programming (16, 1989, Stresa) International Colloquium on Automata(
Book
)
3 editions published in 1991 in English and held by 7 WorldCat member libraries worldwide
3 editions published in 1991 in English and held by 7 WorldCat member libraries worldwide
Papers by International Symposium on Programming(
Book
)
1 edition published in 1982 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 1982 in English and held by 7 WorldCat member libraries worldwide
Proceedings by 1982, Torino> International Symposium on Programming <5(
Book
)
3 editions published in 1982 in English and German and held by 6 WorldCat member libraries worldwide
3 editions published in 1982 in English and German and held by 6 WorldCat member libraries worldwide
Theories of types and proofs(
Book
)
2 editions published in 2002 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 2002 in English and held by 6 WorldCat member libraries worldwide
Calculi, types and applications : essays in honour of M. Coppo, M. DezaniCiancaglini and S. Ronchi Della Rocca(
Book
)
1 edition published in 2008 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 2008 in English and held by 4 WorldCat member libraries worldwide
Discrimination by parallel observers : the algorithm by
M DezaniCiancaglini(
Book
)
1 edition published in 1997 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1997 in English and held by 2 WorldCat member libraries worldwide
Automata : Languages and Programming by
G Ausiello(
)
1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 1115, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics
1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 1115, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics
Reversible sessions with flexible choices by
Ilaria Castellani(
)
1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
 Ausiello, G. (Giorgio) 1941 Author Editor
 Ronchi Della Rocca, S. (Simonetta) Honoree Editor
 Plotkin, G. (Gordon) 1946 Other Editor
 Montanari, U. (Ugo) Editor
 European Association for Theoretical Computer Science Publisher
 Okada, M. (Mitsuhiro) 1954 Editor
 Takahashi, Masako 1939 Editor
 Nihon Sūgakkai
 Montanari, Ugo Editor
 Rocca, Simonetta Ronchi
Useful Links
Associated Subjects
Algorithms Calculus Combinatorial analysis Computer logic Computer programming Computer programs Computers Computer science Computer software Formal languages Information theory Lambda calculus Logic, Symbolic and mathematical Logic design Machine theory Programming languages (Electronic computers) Proof theory Type theory
Covers
Alternative Names
Ciancaglini, M. Dezani
Ciancaglini, M. Dezani (Mariangiola)
Ciancaglini, M. Dezani (Mariangiola Dezani)
Ciancaglini, Mariangiola D.
Ciancaglini, Mariangiola Dezani.
DezaniCiancaglini, M.
DezaniCiancaglini, Mariangiola
DezaniCianciaglini, M.
Languages