1 results
A non-uniform finitary relational semantics of system T∗
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 47 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 10 January 2013, pp. 111-132
- Print publication:
- January 2013
-
- Article
- Export citation