An example of goal-directed, calculational proof
Αποθηκεύτηκε σε:
| Εκδόθηκε σε: | Journal of Functional Programming vol. 34 (Dec 2024) |
|---|---|
| Κύριος συγγραφέας: | |
| Άλλοι συγγραφείς: | , |
| Έκδοση: |
Cambridge University Press
|
| Θέματα: | |
| Διαθέσιμο Online: | Citation/Abstract Full Text - PDF |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|