Search results for: Altenkirch, Thorsten
Showing 1 - 1 results of 1
Refine Results
-
1
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Published: Springer Berlin Heidelberg : Imprint: Springer, 2007Other Authors: “…Altenkirch, Thorsten…”
Holdings: Loading…Springer English/International eBooks 2007 - Full Set: 2007 (Springer Link)
Electronic eBook