twenty-five_years_of_constructive_type_theory-proceedings_of_a_congress_held_in_
Full Title: | twenty-five_years_of_constructive_type_theory-proceedings_of_a_congress_held_in_ |
---|---|
ISBN: | 0198501277 |
ISBN13: | 9780198501275 |
List Price: | USD $100.00 |
Authors: |
giovanni-sambin-jan-m-smith |
Related ISBNs