Showing 1 - 1 results of 1 for search 'Girard, Jean-Yves', query time: 0.01s Refine Results
  1. 1
    Proofs and types /
    by Girard, Jean-Yves
    Published 1989
    Printed Book
Search Tools: Get RSS Feed — Email this Search