Browsing by Author Pistone, Paolo
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 27-Mar-2015 | On proofs and types in second order logic | Pistone, Paolo |
| Issue Date | Title | Author(s) |
|---|---|---|
| 27-Mar-2015 | On proofs and types in second order logic | Pistone, Paolo |