A Judgmental Reconstruction of Modal Logic (1999)

Cached

Download Links

by Frank Pfenning , Rowan Davies
Venue:Mathematical Structures in Computer Science
Citations:160 - 38 self