Presheaf models for the π-calculus (1997)
by
Ian Stark
| Venue: | In Proc. CTCS’97, volume 1290 of LNCS |
Document Versions
| Presheaf models for the π-calculus –Ian Stark — 1997 — In Proc. CTCS’97, volume 1290 of LNCS |
