Lectures on the Curry-Howard isomorphism
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam ; Boston [MA] :
Elsevier,
2006.
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Studies in logic and the foundations of mathematics ;
v. 149. |
| Schlagworte: | |
| Online-Zugang: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|