WorldCat Identities

Dezani-Ciancaglini, 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 Dezani-Ciancaglini
Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings by M Dezani-Ciancaglini( )

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 (higher-order) 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 6-8, 1982 by M Dezani-Ciancaglini( )

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 11-15, 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 11-15, 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

International Symposium on Programming : 5th Colloquium Turin, April 6-8, 1982 Proceedings by M Dezani-Ciancaglini( )

1 edition published in 1982 in English and held by 32 WorldCat member libraries worldwide

Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings by G Ausiello( )

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

Logical semantics for concurrent lambda-calculus by M Dezani-Ciancaglini( Book )

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

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
Inter Symposium on Programming by M Dezani-Ciancaglini( )

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 11-15, 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

Papers by International Symposium on Programming( Book )

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

Theories of types and proofs( Book )

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. Dezani-Ciancaglini and S. Ronchi Della Rocca( Book )

1 edition published in 2008 in English and held by 4 WorldCat member libraries worldwide

Discrimination by parallel observers : the algorithm by M Dezani-Ciancaglini( Book )

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 11-15, 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Typed lamb ... to 0.00 for Typed lamb ...)

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings Typed lambda calculi and applications proceedings Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 : proceedings
Covers
International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedingsTyped lambda calculi and applications proceedingsTyped lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 : proceedingsInter Symposium on ProgrammingPapersProceedings
Alternative Names
Ciancaglini, M. Dezani-

Ciancaglini, M. Dezani- (Mariangiola)

Ciancaglini, M. Dezani- (Mariangiola Dezani-)

Ciancaglini, Mariangiola D.-

Ciancaglini, Mariangiola Dezani-.

Dezani-Ciancaglini, M.

Dezani-Ciancaglini, Mariangiola

Dezani-Cianciaglini, M.

Languages