Natural semantics

Aka big-step.

Please expand.

References

Kahn, G. “Natural Semantics.” In STACS 87, edited by Franz J. Brandenburg, Guy Vidal-Naquet, and Martin Wirsing, 247:22–39. Lecture Notes in Computer Science. Berlin/Heidelberg: Springer-Verlag, 1987. https://doi.org/10.1007/BFb0039592.

@inproceedings{kahn_1987,
	location = {Berlin/Heidelberg},
	title = {Natural semantics},
	volume = {247},
	doi = {10.1007/BFb0039592},
	series = {Lecture Notes in Computer Science},
	pages = {22--39},
	booktitle = {{STACS} 87},
	publisher = {Springer-Verlag},
	author = {Kahn, G.},
	editor = {Brandenburg, Franz J. and Vidal-Naquet, Guy and Wirsing, Martin},
	date = {1987}
}