Original language | English |
---|---|
Title of host publication | Logical frameworks |
Editors | Gérard Huet, G. Plotkin |
Place of Publication | Cambridge |
Publisher | Cambridge University Press |
Pages | 40-67 |
ISBN (Print) | 0-521-41300-1 |
Publication status | Published - 1991 |
A plea for weaker frameworks
N.G. Bruijn, de
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Popular
112
Downloads
(Pure)