peter dybjer
Types for Proofs and Programs
TaschenbuchPrint on DemandThis book presents a strictly refereed collection of revised full papers selected from the papers...
Types for Proofs and Programs
TaschenbuchPrint on DemandThis book contains a selection of papers presented at the third annual workshop of the Esprit Wor...
Applied Semantics
TaschenbuchPrint on DemandThis book is based on material presented at the international summer school on Applied Semantics ...
- 1