An Interactive Interpretation Viewer for Typed First-order Logic.

Jack McKeown, Geoff Sutcliffe

Browse the full FlAIRS paper archive.