Strong Normalisation in Higher-Order Action Calculi

Authors:
Robin Milner
Affiliations:
-
Venue:
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Year:
1997

Citing 0
Cited 2

A Reflective Higher-order Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Namespace logic: a logic for a reflective higher-order calculus

TGC'05 Proceedings of the 1st international conference on Trustworthy global computing

Quantified Score

Hi-index	0.00

Visualization

Abstract