Encoding Generic Judgments: Preliminary results

@article{Miller2001EncodingGJ,
  title={Encoding Generic Judgments: Preliminary results},
  author={Dale Miller},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2001},
  volume={58},
  pages={59-78}
}
Operational semantics is often presented in a rather syntactic fashion using relations speci ed by inference rules or equivalently by clauses in a suitable logic programming language. As it is well known, various syntactic details of speci cations involving bound variables can be greatly simpli ed if that logic programming language has term-level abstractions ( -abstraction) and proof-level abstractions (eigenvariables) and the speci cation encodes object-level binders using -terms and… CONTINUE READING
7 Citations
41 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…