Skip to content
cs-conference-ranking.org

A Non-Type-Theoretic Definition of Martin-Lf's Types

Stuart Allen

VenueA*LICS
Year1987
ProceedingsLICS
DBLP recordconf/lics/Allen87 ↗

Browse the full LICS paper archive.