PAL+: a lambda-free logical framework. / Luo, Z.

Inter Workshop on Logical Frameworks and Meta-languages (LFM 2000). 2000.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationInter Workshop on Logical Frameworks and Meta-languages (LFM 2000)
Publication statusPublished - 2000

ID: 1774080