Filter
Sökt på: Sökresultat
Filter
1 träff
Types for Proofs and Programs
häftad,
2007,
Engelska,
ISBN 9783540744634
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning …