Closed jonsterling closed 9 years ago
Martin-Löf's logical framework was developed concurrently with the Edinburgh logical framework, but is quite different. The main difference is that MLLF allows equations (and so is like a framework for algebraic theories), whereas ELF does not.
:+1: Merged.
markfarrell
commented
9 years ago
Martin-Löf's logical framework was developed concurrently with the Edinburgh logical framework, but is quite different. The main difference is that MLLF allows equations (and so is like a framework for algebraic theories), whereas ELF does not.