Skip to content

Interally Typed Second-Order Term Graphs.

Wolfram Kahl

VenueBWG
Year1998
ProceedingsWG

Browse the full WG paper archive.