Skip to content

A Compiler for Natural Semantics.

Mikael Pettersson

VenueBCC
Year1996
ProceedingsCC

Browse the full CC paper archive.