Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language.

Liron Cohen, Robert L. Constable

Browse the full WoLLIC paper archive.