Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic.

Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown

Browse the full LPAR paper archive.