First-Order Programming Theories

Sorry, there's nothing here.

Cite this paper

@inproceedings{Gergely1991FirstOrderPT, title={First-Order Programming Theories}, author={Tam{\'a}s Gergely and L{\'a}szl{\'o} {\'U}ry}, booktitle={EATCS Monographs on Theoretical Computer Science}, year={1991} }