PAL+: a lambda-free logical framework

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Inter Workshop on Logical Frameworks and Meta-languages (LFM 2000)
Publication status	Published - 2000

Cite this

@inproceedings{5113aa9fe53d4d91861ea1ac950d9d25,

title = "PAL+: a lambda-free logical framework",

author = "Z. Luo",

note = "Proc. of Inter Workshop on Logical Frameworks and Meta-languages (LFM'2000), Santa Barbara, California",

year = "2000",

language = "English",

booktitle = "Inter Workshop on Logical Frameworks and Meta-languages (LFM 2000)",

}