Skip to content

Types in Logic Programming.

Frank Pfenning

VenueBICLP
Year1990
ProceedingsICLP

Browse the full ICLP paper archive.