Logical semantics for concurrent Lambda-Calculus

von Dezani-Ciancaglini, Mariangiola
Veröffentlicht 1996

Logical semantics for concurrent lambda calculus

von Dezani-Ciancaglini, Mariangiola
Veröffentlicht 1996

˜Aœ collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday

Veröffentlicht 1993

International Conference on Theoretical Aspects of Computer Software : [selection of the papers presented at the first International Conference on Theoretical Aspects of Computer...

Veröffentlicht 1994

Deconfined Global Types for Asynchronous Sessions

von Dagnino, Francesco
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

International Symposium on Programming : 5th Colloquium, Turin, April 6 - 8, 1982 ; proceedings

Veröffentlicht 1982

Soundness Conditions for Big-Step Semantics

von Dagnino, Francesco
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

International Symposium on Programming

Veröffentlicht 1982

International symposium on programming : 5th colloquium, Turin, April 6-8, 1982 ; proceedings

Veröffentlicht 1982

Calculi, types and applications : essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca

Veröffentlicht 2008

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proce...

Veröffentlicht 1995

Typed lambda calculi and applications : proceedings

Veröffentlicht 1995

Typed lambda calculi and applications : second international conference on typed lambda calculi and applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proce...

Veröffentlicht 1995

Typed Lambda calculi and applications : proceedings

Veröffentlicht 1995