| Original language | English |
|---|---|
| Title of host publication | Mathematical Centre Tracts |
| Place of Publication | Amsterdam |
| Publisher | Mathematisch Centrum |
| Pages | 3-44 |
| Number of pages | 41 |
| Volume | 82 |
| ISBN (Print) | 9061961416 |
| Publication status | Published - 1976 |
Program Semantics and mechanized proof
Robin Milner
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution