Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993. Selected Papers (Lecture Notes in Computer Science)
by Barendregt, Henk [Editor]; Nipkow, Tobias [Editor];
Add this copy of Types for Proofs and Programs: International Workshop to cart. $4.99, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1994 by Springer.
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Add this copy of Types for Proofs and Programs: International Workshop to cart. $34.36, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Springer.
Add this copy of Types for Proofs and Programs: International Workshop to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1994 by Springer.
Add this copy of Types for Proofs and Programs: International Workshop to cart. $71.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1994 by Springer.
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Add this copy of Types for Proofs and Programs: International Workshop to cart. $120.60, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Springer.
