Publication
Detail
Publication date: 01/01/2005Lambda and pi calculi, CAM and SECD machines
| Journal | Journal of Functional Programming |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 15 |
| Number | 1 |
| Journal | Journal of Functional Programming |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 15 |
| Number | 1 |