Adapting proofs-as-programs the curry-howard protocol /
Sparad:
| Huvudupphovsman: | |
|---|---|
| Institutionell upphovsman: | |
| Övriga upphovsmän: | , |
| Materialtyp: | E-bok |
| Språk: | English |
| Publicerad: |
New York, NY
Springer
2005.
|
| Serie: | Monographs in Computer Science,
|
| Ämnen: | |
| Länkar: | Click here to view the full text content |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Fysisk beskrivning: | 1 online resource digital. |
|---|---|
| ISBN: | 9780387281834 9780387237596 |
| ISSN: | 0172-603X |