Home / Authors / Geuvers, Herman

Books by Geuvers, Herman

All books by this author

1 book found ← Back to Search
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646)
🇺🇸 United States
Types for Proofs and Programs: Second International Worksho…
By: Geuvers, Herman
View Details