Encoding Generic Judgments: Preliminary results

  title={Encoding Generic Judgments: Preliminary results},
  author={Dale Miller},
  journal={Electr. Notes Theor. Comput. Sci.},
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


Publications referenced by this paper.

Similar Papers

Loading similar papers…