Papers on Lax-Logic


CSRG publications on Lax-Logic:

An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware
M.Fairtlough, M.Mendler (1995)


This page was last modified on May 24 1996 by Chih Nam Yap.