![Read Online Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science (806)) Hardcover
Read Online Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science (806)) Hardcover](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhU0Bv5sUGsNNhQxq4-uRfQNXRMevEFuIAz1vladmxPizHsnUVm-tloFgzqxo1BuUKD5DS_KnpScVA8-ZZfvYgdFgH2R5OhwbfVB9wjKT_WJIhksChpbgf_N31c7Mxj8CJE75YWNunhtJRp/w200-h150-p-k-no-nu/book.png)
Read Online Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science (806)) Hardcover
Add Comment
1993. Selected Papers (Lecture Notes in Computer Science (806)),
May 24 - 28,
Nijmegen,
The Netherlands,
Types for Proofs and Programs: International Workshop TYPES '93
Edit
Read Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Le...
Read More