Spiro Michaylov, Frank Pfenning. Natural Semantics and Some of Its Meta-Theory in Elf. In Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, editors, Extensions of Logic Programming, Second International Workshop, ELP 91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Volume 596 of Lecture Notes in Computer Science, pages 299-344, Springer, 1991.
@inproceedings{MichaylovP91,
title = {Natural Semantics and Some of Its Meta-Theory in Elf},
author = {Spiro Michaylov and Frank Pfenning},
year = {1991},
tags = {semantics, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/MichaylovP91},
cites = {0},
citedby = {0},
pages = {299-344},
booktitle = {Extensions of Logic Programming, Second International Workshop, ELP 91, Stockholm, Sweden, January 27-29, 1991, Proceedings},
editor = {Lars-Henrik Eriksson and Lars Hallnäs and Peter Schroeder-Heister},
volume = {596},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55498-X},
}