Metalanguages and Applications
- 30 January 1997
- book chapter
- Published by Cambridge University Press (CUP)
Abstract
Semantics and Logics of Computation - January 1997This publication has 0 references indexed in Scilit:
This publication has 0 references indexed in Scilit: