collaborators

1 paper

cs.LO2025

CoLF Logic Programming as Infinitary Proof Exploration

Zhibo Chen, Frank Pfenning

Logical Frameworks such as Automath [de Bruijn, 1968] or LF [Harper et al., 1993] were originally conceived as metalanguages for the specification of foundationally uncommitted ded…