Search results for: Altenkirch, Thorsten

Showing 1 - 1 results of 1 Refine Results
  1. 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, 2007
    Other Authors: “…Altenkirch, Thorsten…”
    Springer English/International eBooks 2007 - Full Set: 2007 (Springer Link)
    Electronic eBook