Book Chapter
Fully abstract semantics for concurrent λ-calculus
Extended abstract
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro and Adolfo Piperno
Lecture Notes in Computer Science, 1994, Volume 789, Theoretical Aspects of Computer Software, Pages 16-35
Book Chapter
Semantics of lambda-I and of other substructure lambda calculi
Bart Jacobs
Lecture Notes in Computer Science, 1993, Volume 664, Typed Lambda Calculi and Applications, Pages 195-208
Book Chapter
The lazy call-by-value λ-calculus
Lavinia Egidi, Furio Honsell and Simona Ronchi della Rocca
Lecture Notes in Computer Science, 1991, Volume 520, Mathematical Foundations of Computer Science 1991, Pages 161-169
Book Chapter
Higher-order processes and their models
M. Hennessy
Lecture Notes in Computer Science, 1994, Volume 820, Automata, Languages and Programming, Pages 286-303
Book Chapter
Intersection types and bounded polymorphism
Benjamin C. Pierce
Lecture Notes in Computer Science, 1993, Volume 664, Typed Lambda Calculi and Applications, Pages 346-360
Book Chapter
Filter models for a parallel and non deterministic λ-calculus
Extended abstract
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro and Adolfo Piperno
Lecture Notes in Computer Science, 1993, Volume 711, Mathematical Foundations of Computer Science 1993, Pages 403-412
Book Chapter
Full abstractness for a functional/concurrent language with higher-order value-passing
Extended abstract
Chrysafis Hartonas and Matthew Hennessy
Lecture Notes in Computer Science, 1998, Volume 1414, Computer Science Logic, Pages 239-254
Book Chapter
Types for Hereditary Head Normalizing Terms
Makoto Tatsuta
Lecture Notes in Computer Science, 2008, Volume 4989, Functional and Logic Programming, Pages 195-209
Book Chapter
Decidability of higher-order subtyping with intersection types
Adriana B. Compagnoni
Lecture Notes in Computer Science, 1995, Volume 933, Computer Science Logic, Pages 46-60
Book Chapter
A type-free resource-aware λ-calculus
Luca Roversi
Lecture Notes in Computer Science, 1997, Volume 1258, Computer Science Logic, Pages 399-413