A Judgmental Reconstruction of Modal Logic (1999)

Cached

Download Links

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