Proof Search In Dependently Typed Functional Programming Or Dependently Typed Functional Programming Is Proof Search.pdf
"Proof Search in Dependently-typed Functional Programming - or: Dependently-typed Functional Programming is Proof Search" is owned and hosted by cs.ru.nl, this file has been downloaded 125 times, the last time was in 2025-04-13.
James McKinna based on joint with o.a. Conor McBride, Stéphane Lengran is the creator of 2009-05-26-mlnl09.pdf.
The pdf has been created in 2009-05-26, if you want to preview or download it, just click the link below.
| Download | ||
| Title | Proof Search in Dependently-typed Functional Programming - or: Dependently-typed Functional Programming is Proof Search | |
| File Name | 2009-05-26-mlnl09.pdf - 72.97 KB | |
| Pages | 28 pages | |
| Owner | cs.ru.nl | |
| Author | James McKinna based on joint with o.a. Conor McBride, Stéphane Lengran | |
| Creation date | 15 years ago | |
| Nb of downloads | 125 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "Proof Search in Dependently typed Functional Programming or Dependently typed Functional Programming is Proof Search" does not meet your expectations, we invite you to take a look at the similar files below :