Entries on LF family #88
Description
proof systems for LF, LLF and CLF (usually sequent calculi annotated with proof terms, fragments of intuitionistic logics)
{{ message }}
proof systems for LF, LLF and CLF (usually sequent calculi annotated with proof terms, fragments of intuitionistic logics)