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