Geometry of Interaction and linear combinatory algebras
S. Abramsky‚ E. Haghverdi and P. Scott
Details
| Book Title |
Mathematical Structures in Computer Science |
| Pages |
625−665 |
| Volume |
12 |
| Year |
2002 |
Links
Related pages
|
People |