Typo
deployed site
notes about type raising
deployed site
deployed site
deployed site
deployed site
Use new greek style in math mode for semantics
deployed site
about mods
deployed site
Added missing proof parameters
deployed site
Resource sensitivity in CCG