Sciweavers

LICS
1998
IEEE
15 years 1 months ago
The Horn Mu-calculus
The Horn
Witold Charatonik, David A. McAllester, Damian Niw...