Proof search in lax logic (0)

by J M Howe
Venue:Mathematical Structures in Computer Science